"Turing machine"@en-us . .