^^Automa che riconosce il tipo di stringhe.

automata are used as finite representations of formal languages that may be infinite.

Automa accettatore (ing: acceptor)

I={lettera, cifra, altro carattere},

U={stato_iniziale, identificatore, numero intero, altro}

S={id,n,x }

L'automa deve portare a uno stato finale che e' quello, indipendentemente dallo stato iniziale, oppure per svolgere la sua funzione, deve iniziare il funzionamento da un particolare stato, che possiamo dire stato iniziale.