"machine is a 'theoretical computer' with an infinite tape, so it is not" . . . .