X = {entra, esce, niente, ee }
Z = {Aperto, Chiuso}
S = {Vuoto,1car,2car}
Il diagramma degli stati è il seguente:
