Versione delle 18:52, 11 feb 2016 modifica 87.2.165.133 (discussione) Nessun oggetto della modifica Etichette: Modifica da mobile Modifica da web per mobile ← Differenza precedente		Versione delle 18:52, 11 feb 2016 modifica annulla Adalingio (discussione \| contributi) 28 611 modifiche m Annullate le modifiche di 87.2.165.133 (discussione), riportata alla versione precedente di 151.73.170.117 Differenza successiva →
Riga 1: Un '''automa a stati ~~infiniti o infinitamente~~ finiti ''' ~~come direbbe Callegarin~~ (ASF) o '''macchina a stati finiti''' o '''FSA''' (dall'inglese Finite State Automata) è un modello che permette di descrivere con precisione e in maniera formale il comportamento di molti sistemi. Grazie alla sua semplicità e chiarezza questo tipo di modello è molto diffuso nell'[[ingegneria]] e nelle [[scienze]], soprattutto nel campo dell'[[informatica]] e della [[ricerca operativa]]. Un automa a stati finiti può essere utilizzato sia per modellare un sistema esistente che per modellare un nuovo sistema formale in grado di risolvere alcuni problemi esistenti. A quest'ultima categoria appartengono i cosiddetti '''riconoscitori di linguaggi''' e i '''traduttori'''. La rappresentazione grafica di un ''automa a stati finiti'' è il [[grafo]].

Automa a stati finiti: differenze tra le versioni