Automa (informatica): differenze tra le versioni

Gli [[automa a stati finiti|automi a stati finiti]] sono dotati di un insieme finito di stati, scandiscono una [[Stringa (linguaggi formali)|stringa]] di simboli in ingresso (simbolo per simbolo) in maniera ordinata per decidere se essa appartenga o meno ad un [[Linguaggio formale|linguaggio]].
 
Formalmente tali automi sono delle quintuple, ''(Q, I, f, q0, F )'', formate da un alfabeto finito dei simboli in ingresso (I), un insieme finito di stati (Q) tra cui si distingue uno ''stato iniziale'' (q0) ed un sottoinsieme di stati, detti ''finali'' (F), ed una ''funzione di transizione'' (f). Tale funzione, descritta mediante una tabella di transizione degli stati, o un multidigrafo, è definita per coppie (stato corrente, simbolo scandito) e stabilisce la transizione da compiere, ossia lo stato in cui si transita leggendo il dato simbolo.
 
Il funzionamento dell'automa può essere così descritto:
Utente anonimo