In der Regel sind alle Schritte gleich lang
Takte, Länge jedes Taktes: Taktdauer
Takt
Taktdauer
Taktsignal
In der Regel sind alle Schritte gleich
Takte, Länge jedes Schrittes Taktdauer
Takte
Taktdauer
Taktsignal
In der Regel sind alle Schritte gleich lang
Takt, Taktdauer: Länge jedes Schrittes
Takt
Taktdauer
Taktsignal
In der Regel sind alle Schritte gleich lang
Takt
Taktdauer
Taktsignal
Takt, Länge jedes Schrittes Taktdauer
Der Kehrwert der Taktdauer: Frequenz
Der Kehrwert der Taktdauer: Frequenz
Der Kehrwert der Taktdauer: Frequenz
Zustände
Ein Schaltwerk arbeitet in Schritten
Die Ampel zeigt normalerweise auf rot. Drückt man den Knopf wechselt sie auf grün
Verbleibt dort für 3s und wechselt wieder auf rot
Zustandsgraph
Knoten des Graphen
Knoten des Graphen sind die Zustände des Schaltwerks
Eingabe i
Ausgabe o
i/o durch Schrägstrich getrennt
* steht für beliebige Eingabe
Gerichtete Kante
Eingabe: Signal Knopf
Ausgabe: Signal Farbe Wert 0 rot, 1 grün
z0->z0
z0->z1
z1->z0
z0->z0
z0->z1
z1->z2
z2->z0
die Mengen
der Eingaben
Ausgaben
Zustände
endlich
Takt
Taktdauer
Taktsignal
Taktdauer: Länge jedes Schrittes
Der Kehrwert der Taktdauer: Frequenz
Eingabe
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel Rot
Ampel Grün
Die Zustände eines Schaltwerks werden von 0 beginnend, konsekutiv nummeriert, unär kodiert
Die Möglichen Zustände eines Schaltwerks werden von 0 beginnend, konsekutiv nummeriert und unär kodiert
Die Möglichen Zustände eines Schaltwerks werden mit 0 beginnend, konsekutiv nummeriert und unär kodiert
Die Möglichen Zustände eines Schaltwerks werden mit 0 beginnend, konsekutiv nummeriert und unär kodiert
Die Möglichen Zustände eines Schaltwerks werden mit 0 beginnend, konsekutiv nummeriert und unär kodiert
n-Bit Register
Schaltglied mit n Dateneingängen
n Datenausgänge
n-Bit Register
Schaltglied mit n Dateneingängen
n Datenausgänge
n-Bit Register
Schaltglied mit n Dateneingängen
n Datenausgänge
n-Bit Register
Schaltglied mit n Dateneingängen
n Datenausgänge
n-Bit Register
Schaltglied mit n Dateneingängen
n Datenausgänge
n-Bit-Register
n Dateneingängen
n Datenausgänge
CLK oder Taktsignal
n-Bit Register
n Dateneingänge
n Datenausgänge
CLK oder Taktsignal
n-Bit Register
n Dateneingänge
n Datenausgänge
CLK oder Taktsignal
x0, z
z0, z0+, z1, z1+, z2, z2+, zw, zw+
x0, z
z0, z0+, z1, z1+, z2, z2+, zw, zw+
x0, z
z0, z0+, z1, z1+, z2, z2+, zw, zw+
x0, z
z0, z0+, z1, z1+, z2, z2+, zw, zw+
Übergangsschaltnetz für
z0+
z1+
z2+
Übergangsschaltnetz für
z0+
z1+
z2+
Übergangsschaltnetz für
z0+
z1+
z2+
Übergangsschaltnetz für
z0+
z1+
z2+
Übergangsschaltnetz für z0+ -> n-Bit-Register -> z0
Übergangsschaltnetz für z1+ -> n-Bit-Register -> z1
Übergangsschaltnetz für z2+ -> n-Bit-Register -> z2
Eingabe
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel rot
Ampel grün
n-Bit Register
Dateneingänge
Datenausgänge
CLK oder Taktsignal
Die Zustände eines Schaltwerks werden von 0 beginnend, konsekutiv nummeriert und unär kodiert
Die Zustände eines Schaltwerks werden von 0 beginnend, konsekutiv nummeriert und unär kodiert
Die Zustände eines Schaltwerks werden von 0 beginnend, konsekutiv nummeriert und unär kodiert
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
z2+ := z1
z2+ := z1
z2+ := z1
z0+ := z0 AND NOT Knopf OR z2
z1+ := z0 AND Knopf
z2+ := z1
z0+ := z0 AND NOT Knopf OR z2
z1+ := z0 AND Knopf
z2+ := z1
z0+ := z0 AND NOT Knopf OR z2
z1+ := z0 AND Knopf
z2+ := z1
Farbe := z0 AND Knopf OR z1 OR z2
Farbe := z0 AND Knopf OR z1 OR z2
Farbe := z0 AND Knopf Or z1 OR z2
aktueller Zustand Eingabe Ausgabe Folgezustand Code Folgezustand
Aktueller Zustand Eingabe Ausgabe Folgezustand Code Folgezustand
Aktueller Zustand Eingabe Ausgabe Folgezustand Code Folgezustand
Ampel: Beginnt mit einer rot Phase von 2s
Gefolgt von einer Gelb Phase von 1s
Die Rot Phase mindestens 2s
Kann auf 5s verlängert werden
Ampel: Beginnt mit einer rot Phase von 2s
Gefolgt von einer Gelb Phase von 1s
Die Rot Phase mindestens 2s
Kann auf 5s verlängert werden