Nelle reti logiche sequenziali, a differenza delle reti combinatorie, l’output viene dipende non solo dai bit di ingresso ma anche dagli stati precedenti.
In queste reti i concetti che seguono sono essenziali:
- Stato: lo stato è l’insieme delle informazioni passate che serve alla rete, insieme ai bit di ingresso, per calcolare gli output.
- Determinismo: una volta che i bit di ingresso e lo stato sono stati fissati, gli output saranno sempre prevedibili.
- Modello del tempo: in una FSM il cambiamento dello stato (evoluzione) è dettato da un evento. Gli eventi sono prodotti da delle sorgenti indipendenti dette clock. Quando una FSM dipende da un evento essa si definisce macchina a stati sincroni, in caso contrario si parlerà di macchina a stato asincrono.