* steht für beliebige Eingabe
* steht für beliebige Eingabe
* steht für beliebige Eingabe
* steht für beliebige Eingabe
* steht für beliebige Eingabe
* steht für beliebige Eingabe
Eingabe
Knopf nicht gedrückt: Ampel rot
Knopf gedrückt Ampel rot
Ampel Rot
Ampel Grün
Eingabe
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel Rot
Ampel Grün
Eingabe
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel rot
Ampel grün
Eingabe
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel rot
Ampel grün
Eingabe
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel rot
Ampel grün
Eingabe
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel rot
Ampel grün
In der Regel sind alle Schritte gleich lang
In der Regel sind alle Schritte gleich lang
In der Regel sind alle SChritte gleich lang
In der Regel sind alle Schritte gleich lang
Taktsignal: Signal das nach einer Taktdauer steigende Flanke hat
Taktsignal: Signal, das nach einer Taktdauer steigende Flanke hat
Taktsignal: Signal, das nach einer Taktdauer steigende Flanke hat
Taktsignal: Signal, das nach einer Taktdauer steigende Flanke hat
Taktsignal: Signal, das nach einer Taktdauer steigende Flanke hat
Taktsignal: Signal, das nach einer Taktdauer steigende Flanke hat
Der Kehrwert der Taktdauer: Frequenz
Der Kehrwert der Taktdauer: Frequenz
Der Kehrwert der Taktdauer: Frequenz
Der Kehrwert der Taktdauer: Frequenz
Der Kehrwert der Taktdauer: Frequenz
Der Kehrwert der Taktdauer: Frequenz
Ein Schaltwerk arbeitet in Schritten
Ein Schaltwerk arbeitet in Schritten
Ein Schaltwerk arbeitet in Schritten
Ein Schaltwerk arbeitet in Schritten
Ein Schaltwerk arbeitet in Schritten
Ein Schaltwerk arbeitet in Schritten
Eine 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
Gerichtete Kante
Zustandsgraph
Knoten des Graphen
Knoten des Graphen sind die Zustände des Schaltwerks
Eingabe i
Ausgabe o
i/o durch Schrägstirch getrennt
Signal: Knopf
Ausgabe: Signal Farbe Wert 0 rot, 1 grün
Signal: Knopf
Ausgabe: Signal Farbe Wert 0 rot, 1 grün
Signal: Knopf
Ausgabe: Signal Farbe Wert 0 rot, 1 grün
Signal: Knopf
Ausgabe: Signal Farbe Wert 0 rot, 1 grün
Signal: Knopf
Ausgabe: Signal Farbe Wert 0 rot, 1 grün
Die Menge der
Zuständen
Eingaben und
Ausgaben
sind endlich
Die Menge der Zustände
Eingaben
und Ausgaben ist endlich
Die Menge
der Zustände
Eingaben
und Ausgaben
ist endlich
Die Menge
der Zustände
Eingaben
und Ausgaben
ist endlich
Die Menge
der Zustände
Eingaben
und Ausgaben
ist endlich
Die Menge
der Zustände
Eingaben
und Ausgaben
ist endlich
Ein Schaltwerk arbeitet in Schritten
Eine 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
Zustandgraph
Knoten des Graphen
Knoten des Graphen sind die Zustände des Schaltwerks
Eingabe i
Ausgabe o
i/o durch Schrägstrich getrennt
Eingabe: Signal Knopf
Ausgabe: Signal Farbe Wert 0 rot, 1 grün
Takt
Taktdauer
Taktsignal
Die Menge der
Zustände
Eingaben
und Ausgaben
ist endlich
z0->z0
z0->z1
z1->z0
z0->z0
z0->z1
z1->z2
z2->z0
Knopf nicht gedrückt Ampel rot
Knopf gedückt Ampel rot
Ampel Rot
Ampel Grün
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel Rot
Ampel Grün
Knopf nicht gedrückt ampel rot
Knopf gedrückt ampel rot
Ampel rot
Ampel grün
Knopf nicht gedrückt Ampel rot
Knopf gedrückt Ampel rot
Ampel rot
Ampel grün
Ampel beginnend mit einer Grün Phase
Ampel beginnend mit einer Grün Phase
Ampel beginnend mit einer grün Phase
Ampel beginnend mit einer grün Phase
Ampel beginnend mit eienr grün Phase
gefolgt von einer Gelb Phase
gefolgt von einer Gelb Phase
gefolgt von einer Gelb Phase
gefolgt von eienr Gelb Phase
Gefolgt von einer Gelb Phase
Die Grün Phase mindestens 2s
Die Grün Phase mindestens 2s
Die Grün Phase mindestens 2s
Die Grün Phase mindestens 2s
kann auf 5s verlängert werden
kann auf 5s verlängert werden
kann auf 5s verlängert werden
kann auf 5s verlängert werden
Beginnend mit einer Rot Phase von 2s
gefolgt von einer Gelb Phase von 1er s
Die Grün Phase mindestens 2s
Kann auf 5 Sekundne verlängert werden
Beginnend mit einer grün Phase von 2s
Die Gelb Phase mindestens 1s
Die Rot Phase 2s
Kann auf 5s verlängert werden
Beginnend mit einer Grün Phase von 2s
Gefolgt von einer Gelb Phase von 1er Sekunde
Die Rot Phase von 2s
Kann auf 5s verlängert werden
Beginnend mit einer Grün Phase von 2s
Gefolgt von einer Gelb Phase von 1s
Die Rot Phase von 2s
Kann auf 5s verlängert werden
Eingabevektor X
Ausgabevektor Y
Eingabevektor X
Ausgabevektor Y
Eingabevektor X
Ausgabevektor Y
Steuervektor S
Statusvektor V
Steuervektor S
Statusvektor V
Steuervektor S
Statusvektor V
Operationswerk
Steuerwerk
Operationswerk
Steuerwerk
Operationswerk
Eingabevektor X
Ausgabevektor Y
Steuervektor S
Statusvektor V
Steuerwerk
Steuervektor S
Statusvektor V
Operationswerk
Eingabevektor X
Ausgabevektor Y
Steuervektor S
Statusvektor v
Steuerwerk
Steuervektor S
Statusvektor V
Operationswerk
Eingabevektor X
Ausgabevektor Y
Steuervektor S
Statusvektor V
Steuerwerk
Steuervektor S
Statusvektor V
Rot, Gelb, Grün
ro, ge, gr
Rot, Gelb, Grün
ro, ge, gr
Rot, Gelb, Grün
ro, ge, gr
Rot, Gelb, Grün
ro, ge, gr
Rot, Gelb, Grü
ro, ge, gr
