Ein Co­la­au­to­mat hat zwei Knöp­fe: Ab­bruch und Ein­ga­be. Au­ßer­dem kann man einen Euro ein­wer­fen.
Der Au­to­mat kann einen oder zwei Euro zu­rück­ge­ben und eine Cola aus­ge­ben.

Ge­ge­ben sind zwei Zu­stands­dia­gram­me, die einen Co­la­au­to­ma­ten be­schrei­ben.

a) Be­stim­me für beide Au­to­ma­ten wie die dort eine Cola er­hal­ten kannst. Nenne alle Zu­stands­über­gän­ge die dazu je­weils nötig sind, in der rich­ti­gen Rei­hen­fol­ge.





b)
Be­grün­de, wel­ches der bei­den Zu­stands­dia­gram­me den sinn­vol­le­ren Au­to­ma­ten be­schreibt.

Ein Kühl­schrank hat 3 Knöp­fe:
Ein/Aus um den Kühl­schrank ein- oder aus­zu­schal­ten.
∧ um die Kühl­stu­fe hoch­zu­stel­len.
∨ um die Kühl­stu­fe her­un­ter­zu­stel­len.

Tipps:
Beim Ein­schal­ten des Kühl­schranks, wird die­ser immer in Stufe 2 ge­star­tet.
Der Kühl­schrank hat nur Stu­fen 1 bis 3. Falls je­mand ver­sucht, die Stufe noch höher oder nied­ri­ger ein­zu­stel­len, bleibt der Kühl­schrank in der Stufe.
Über­le­ge auch, was pas­siert, wenn im aus­ge­schal­te­ten Zu­stand die Knöp­fe ∨ oder ∧ be­tä­tigt wer­den.

Ver­voll­stän­di­ge dazu das fol­gen­de Zu­stands­dia­gramm.