Macchina di Turing: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 206:
dove le sole differenze rispetto alla definizione iniziale riguardano la presenza dell'intero ''n'' e il genere della funzione di transizione:
 
:<math>\delta ~:~ S \times A \to (S \times (A \times \{-1,0,+1\})^k ~\mbox{ dove }~ k=1,2,...,n</math>
 
Le sue configurazioni consistono quindi di insiemi finiti di configurazioni deterministiche, la cui cardinalità potrebbe crescere illimitatamente con il procedere di un'evoluzione.