Automa (informatica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
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 |
||
Riga 29:
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:
| |||