User blog:Alemagno12/Not Turing Machines