Descriviamo l'automa a stati finiti che realizza la funzionalita' descritta nell'esercizio.
Gli interruttori di scaldabagno e lavatrice saranno connessi agli ingressi del nostro automa, dal quale, in uscita, verranno inviati i reali segnali di accensione.
L'insieme degli stati di ingresso sara' formato da coppie di informazioni yz che indicano se gli interruttori dello scaldabagno (y) o della lavatrice (z) sono stati premuti (1) o meno (0).
Stati di ingresso : {00,01,10,11}
L'insieme degli stati di uscita sara' formato da coppie di informazioni yz che indicano un segnale di accensione verso lo scaldabagno o la lavatrice.
Stati di uscita : {00,01,10,11}
Dall'analisi del problema si vede che gli stati interni in cui puo' trovarsi l'automa sono i seguenti:
- gli elettrodomestici sono entrambi spenti
- la lavatrice e' in funzione
- lo scaldabagno e' in funzione
Possiamo rappresentare questi stati interni, rispettivamente, con i simboli TS (Tutto Spento), LA (Lavatrice Accesa), SA (Scaldabagno Acceso).
Il diagramma degli stati sara' il seguente: