3.1 Es handelt sich um einen Mealy Automaten, die Ausgaben an den Kanten, Zustandsübergängen stehen und somit von der Eingabe abhängig sind und nicht alleine vom Zustand
o1
Es gibt
o1* Hier ist die Ausgabe 00 und geht von z0 aus
o10 Hier ist die Ausgabe 10 und geht von Zustand z1 aus
z0/11 -*-> z1/00
z1/00 -0-> z1/10
z1/10 -0-> z1/10
z1/10 -1-> z0/11
3.2
Man fügt zwei Zustände für Rot ein - bisher waren es ja zwei Sekunden also
z0 -*/100-> zx1
zx1 -*/100 -> zx2
zx2 -*/100 -> z2
Siehe Dokument
./selbsttestaufgaben20240111cs1ke201.odg
Zustand Eingabe Ausgabe Folgezustand Unäre Kodierung
z2+ z1+ z0+
0 * * 1 0 0 1
1 0 01 1 0 1 0
1 1 11 2 1 0 0
2 * * 0 0 0 1
3.4
z0+ <= not ((z0 and i) or (not i and z1));
z1+ <= ((z0 and i) or (not i and z1));
o <= ((z0 and i) or (not i and z1));
Zustand Eingabe Ausgabe Folgezustand Unäre Kodierung
z1+ z0+
0 0
0 1
1 0
1 1
Unäre Kodierung Zustand Zustand Eingabe Ausgabe Folgezustand Unäre Kodierung
z1+ z0+ i z1+ z0+
0 1 0 0 0 1 1 0
0 1 0 1 1 0 0 1
1 0 1 0 1 1 1 0
1 0 1 1 * * * *
./selbsttestaufgaben20240111cs1ke202.odg