/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdl-2024-01-16/selbsttestaufgaben20240111cs1ke2.txt


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