Fatte le macchine di Turing vanilla version.