Considering we can implement and simulate a Turing machine and get actual calculations, how do you consider them to be completely abstract/theoretical?