Ricordiamoci che e' un modello, nel senso che di modelli di uno stesso sistema se ne possono fare tanti.
| Stati | livelli,iinterpretati come Stati: (s0,s1,s2) |
|---|---|
| Ingressi Comandi |
Comando, pulsantiera a 3 bottoni=livelli richiesto, interpretati come Ingressi (i0,i1,i2) |
| Uscite Azioni |
Azione: salire, scendere, restare. Interpretate come Uscite (+1,-1,0) |
Questo e' un automa in cui i cmd fissano lo stato.
| s\i | i0 | i1 | i2 |
|---|---|---|---|
| s0 | s0 | s1 | s2 |
| s1 | s0 | s1 | s2 |
| s2 | s0 | s1 | s2 |
esof: Grafo.