Turing Machine

 

Poiche' un applet non e' autorizzato ad accedere al file system, non e' possibile usare le opzioni di caricamento a menu. Occorre inserire nella finestra rules la descrizione della TM che si vuole eseguire.

La descrizione della macchina di Turing che risolve il problema della somma di due numeri in notazione unaria e':

0 1 0 >
0 0 1 1
1 1 1 >
1 - 2 <
2 1 3 -
3 - 4 <
4 1 4 <
4 - 5 >

Queste quadruple sono contenute nel file di nome addition.t le cui prime righe sono:

# This program adds two unary numbers separated by
# a 0 and prints the result one space to the right.
110111		#configurazione iniziale del nastro
8		#numero delle quadruple di descrizione

si veda il file teoria