Problema N° 9.

Descrizione. L'automa è un sistema di regolazione di un orologio digitale. L'orologio è munito di tre pulsanti la cui pressione chiameremo P1, P2, P3 che servono per la regolazione delle ore, minuti, mese, giorno e per il passaggio dalla modalità del display in cui vengono mostrati ore e minuti alla modalità in cui vengono mostrati mese e giorno.Il tasto P1 serve per passare dallo stato in cui il display mostra ore-minuti agli stati di regolazione, il tasto P2 serve per incrementare il valore attualmente presente sul display (inc=incrementa), il tasto P3 è un tasto bistabile tra le modalità del display ore-minuti e mese-giorno.

Grafo.