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


o1 kann ein Mal 0 sein und ein Mal 1
o1 ist nicht o0, o0 ändert sich auch. Natürlich kann ich das mit blossem Auge sehen, weil es ist ja die Frage nach der Ausgabe
Nicht danach, welche Folgezustände folgen. Selbst, das könnte ich sehen

Jetzt füge ich zwei Zustände ein.
Bisher läuft die Ampel 2s rot, sie steht 2s auf Rot
Das deswegen, deswegen weil es zwei Zustände gibt
z1 und z2
Die Ampel arbeitet mit einem Takt, fester Taktdauer. Deswegen gibt es hier 2 Zustände
Jetzt soll es auf 4 Sekunden erweitert werden
Ich füge einfach zwei Zustände
z9 und z10 ein

Sie sind jetzt nicht mehr mit 0 beginnend, konsekutiv durchnummeriert, in Form von Unärer Kodierung oder binärer
Lösen kann ich das, indem ich die Zustandsnummer, ab z2 und z3, zwei Zustände einfüge und
z(n), mit n > n+3 in z(n+3) umbenenne

Eingabe: i: Taste
Ausgabe: o: Lampe1, ro, Lampe2, ge


z0: Beide Lampen sind aus
Das kann man nur in Moore ausdrücken


Mealy
z1 -0/01 -> z1
z1 -1/11 -> z2
z2 -*/01 -> z1

Moore
z(0/00) -*-> z(1/01)
z(1/01) -0-> z(1/01)
z(1/01) -1-> z(2/11)
z(2/11) -*-> z(1/01)

Zustand     Eingabe     Ausgabe     Folgezustand        Folgezustand, Binär Codiert
0           *           00          1                   010
1           0           01          1                   010
1           1           11          2                   100
2           *           01          1                   010