<Q,I,delta,q0,F>, dove:
Q e` un insieme finito di stati;
I e` un insieme finito di simboli di ingresso;
delta e` la funzione di prossimo stato delta:Q X I->Q;
q0 appartenente a Q e` lo stato iniziale;
F contenuto in Q e` l'insieme degli stati finali.
La funzione delta puo` essere estesa al dominio Q X I*. La funzione cosi` ottenuta e` definita da:
delta*(q,lambda)=q per ogni q appartenente a Q; lambda rappresenta la stringa vuota;
delta*(q,xa)=delta(delta*(q,x),a) per ogni x appartenente a I* e per ogni a appartenente a I.
Il linguaggio L(A) riconosciuto da un automa A e` definito come l'insieme delle stringhe riconosciute da A.
Esempio
Ritorno all'Indice