Automa (informatica): differenze tra le versioni

aggiunto link alla pagina Tabella di transizione di stato
m (Annullate le modifiche di 79.10.175.143 (discussione), riportata alla versione precedente di Horcrux)
Etichetta: Rollback
(aggiunto link alla pagina Tabella di transizione di stato)
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 di stato|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:
175

contributi