AUTOMA A STATI FINITI

dove

• A = insieme finito dei simboli díingresso / uscita

• S = insieme finito degli stati

• F = insieme finito degli stati finali (F _ S)

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

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

Formalmente, Ë definito dalla quintupla:

_A, S, F, mfn, sfn_

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica