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