LA MACCHINA DI TURING

dove

• A = insieme finito dei simboli di ingresso e uscita

• S = insieme finito degli stati (di cui uno Ë HALT)

• mfn: A _ S Æ A (funzione di macchina)

• sfn: A _ S Æ S (funzione di stato)

• dfn: A _ S Æ D = {Left,Right,None}  (funzione di direzione)

Formalmente definita dalla quintupla:

_A, S, mfn, sfn, dfn_

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica