Macchina a Stati Finiti

Un modello computazionale consistente di un numero finito di stati e di transizioni tra questi stati, possibilmente con le relative azioni.