EEine Fussgängerampel zeigt normalerweise auf rot Eine Fussgängerampel zeigt normalerweise auf rot Eine Fussgängerampel zeigt normalerweise auf rot Eine Fussgängerampel zeigt normalerwiese auf rot Eine Fussgängerampel zeigt normalerweise auf rot Eine Fussgängerampel zeigt normalerweise auf rot Eine Fussgängerampel zeigt normalerweise auf rot Eine Fussgängerampel zeigt normalerweise auf rot Eine Fussgängerampel zeigt normalerweise auf rot Wenn man den Knopf drückt Wenn man den Knopf drückt Wenn man den Knopf drückt Wenn man den Knopf drückt Wenn man den Knopf drückt Wenn man den Knopf drückt Wenn man den Knopf drückt geht sie auf grün geht sie auf grün geht sie auf grün geht sie auf grün geht sie auf grün verbleibt dort für 3s verbliebt dort für 3s verbleibt dort für 3s verbleibt dort für 3s verbleibt dort für 3s Eine Fussgängerampel zeigt normalerweise auf rot, wenn man den Knopf drückt, geht sie auf grün, verbleibt dort für 3s Eine Fussǵängerampel zeigt normalerweise auf rot, wenn man den knopf drückt, geht sie auf grün, verbleibt dort für 3s Eine Fussgängerampel zeigt normalerweise auf rot, wenn man den Knopf drückt, geht sie auf grün, verbleibt dort für 3s Eine Fussgängerampel zeigt normalerweise auf rot, wenn man den Knopf drückt, geht sie auf grün, verbleibt dort für 3s Zustandsgraph Knoten des Graphen gerichtete Kante Zustandsgraph Knoten des Graphen gerichtete Kante Zustandsgraph Knoten des Graphen gerichtete Kante Zustandsgraph Knoten des Graphen gerichtete Kante Zustandsgraph Knoten des Graphen gerichtete Kante Zustandsgraph Knoten des Graphen gerichtete Kante Eingabe i Ausgabe o Eingabe i Ausgabe o Eingabe i Ausgabe o Eingabe i Ausgabe o Eingabe i Ausgabe o Eingabe i Ausgabe o Eingabe i Ausgabe o Eingabe i Ausgabe o i/o durch Schrägstrich getrennt i/o durch Schrägstrich getrennt i/o durch Schrägstrich getrennt i/o durch Schrägstrich getrennt i/o durch Schrägstrich getrennt i/o durch Schrägstrich getrennt i/o durch Schrägstrich getrennt Signal Knopf Signal Farbe Signal Knopf Signal Farbe Signal Knopf Signal Farbe Signal Knopf Signal Farbe Signal Knopf Signal Farbe Signal Knopf Signal Farbe Wert 0 Rot Wert 1 Grün Wert 0 Rot Wert 1 Grün Wert 0 Rot Wert 1 Grün Wert 0 Rot Wert 1 Grün Wert 0 Rot Wert 1 Grün Signal Farbe Signal Knopf Signal Farbe Signal Knopf Signal Farbe Signal Knopf Signal Farbe Signal Knopf z0->z1 z1->z0 z0->z0 z0->z1 z1->z0 z0->z0 z0->z1 z1->z0 z0->z0 z0->z1 z1->z0 z0->z0 z0->z1 z1->z0 z0->z0 z0->z1 z1->z0 z0->z0 Mit fester Schrittdauer Mit fester Schrittdauer Mit fester Schrittdauer Mit fester Schrittdauer Mit fester Schrittdauer z0->z1 z1->z2 z2->z0 z0->z0 z0->z1 z1->z2 z2->z0 z0->z0 z0->z1 z1->z2 z2->z0 z0->z0 z0->z1 z1->z2 z2->z0 z0->z0 x, z0 z0, z0+, z1, z1+, z2, z2+ x, z0, z0+, z1, z1+, z2, z2+ x, z0, z0+, z1, z1+, z2, z2+ x, z0, z0+, z1, z1+, z2, z2+ x, z0, z0+, z1, z1+, z2, z2+ x, z0, z0+, z1, z1+, z2, z2+ x, z0, z0ü, z1, z1+, z2, z2+ z0+ z1+ z2+ z0+ z1+ z2+ z0+ z1+ z2+ Übergangsschaltnetz z0+ -> 3 Bitregister -> z0 Übergangsschaltnetz z1+ -> 3 Bitregister -> z1 Übergangsschaltnetz z2+ -> 3 Bitregister -> z2 Übergangsschaltnetz z0+ -> 3 Bitregister -> z0 Übergangsschaltnetz z1+ -> 3 Bitregsiter -> z1 Übergangsschaltnetz z2+ -> 3 Bitregister -> z2 Übergangsschaltnetz z0+ -> 3 Bitregister -> z0 z0+ = z0 AND NOT Knopf OR z2 z0+ = z0 AND NOT Knopf OR z2 z0+ = z0 AND NOT Knopf OR z2 z0+ = z0 AND NOT Knopf OR z2 z0+ = z0 AND NOT Knopf OR z2 z0+ = z0 AND NOT Knopf OR z2 z0+ = z0 AND NOT Knopf OR z2 z0+ = z0 AND NOT Knopf OR z2 z1+ = z0 AND Knopf z1+ = z0 AND Knopf z1+ = z0 AND Knopf z1+ = z0 AND Knopf z1+ = z0 AND Knopf z2+ = z1 z2+ = z1 z2+ = z1