Lo stato globale di un sistema viene definito attraverso:

 

-         le variabili di stato interno (vs₁),(vs₂),… (vs_k)

-         le variabili di ingresso (vi₁),(vi₂),… (vi_n)

-         le variabili in uscita (vu₁),(vu₂),… (vu_m)

 

Se in ogni istante le uscite sono determinate univocamente dalla configurazione assunta in quello stesso istante dalle variabili di ingresso, il sistema si dice combinatorio.

 

Se invece le uscite e lo stato in cui viene a trovarsi il sistema in un certo istante dipendono dagli ingressi e dagli stati precedenti, il sistema stesso è detto sequenziale.

 

Nei sistemi sequenziali siccome lo stato in un certo istante dipende dalla sua storia precedente si usa dire che i sistemi sequenziali sono dotati di memoria.