Automa a stati finiti
Definizione rapida
Modello matematico con un numero finito di stati e transizioni determinate dagli input.
Spiegazione
L'automa parte da uno stato iniziale e cambia stato secondo regole definite per ogni evento. Una sequenza viene considerata accettata quando l'elaborazione termina in uno degli stati finali designati.
Esempio pratico
Un automa passa da “chiuso” ad “aperto” quando riceve l'input corretto e conclude nello stato accettante.
Spiegazione tecnica
Insieme degli stati, alfabeto, funzione di transizione, stato iniziale e stati finali definiscono completamente il modello.
Da non confondere con
Non dispone di memoria illimitata: il suo stato corrente riassume tutta l'informazione utile sul passato.