Alla fine tutte le macchine astratte procedurali sono tra loro equivalenti. Per intuire nell'immediato quanto queste possano essere simili date uno sguardo alla Macchina RAM http://it.wikipedia.org/wiki/Macchina_RAM Tale formalismo è a metà strada tra una Macchina di Turing ed una Macchina di Von Neumann. _J_ 0.2 (Experimental)