Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung Nächste Überarbeitung | Vorherige Überarbeitung Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
faecher:informatik:oberstufe:automaten:dea:start [20.05.2022 15:54] – [Darstellung] sbel | faecher:informatik:oberstufe:automaten:dea:start [20.05.2022 16:13] – [Die Übergangsmatrix] sbel | ||
---|---|---|---|
Zeile 27: | Zeile 27: | ||
* s=q0 | * s=q0 | ||
+ | ==== Die Übergangsmatrix==== | ||
+ | Die Übergangsfunktion δ kann auch als <color green/ | ||
- | ^ δ | ^a| ^ b ^ | + | ^ δ |
- | |q0 | q1| q2 | | + | | |
- | |q1 | q3| | | + | | q1 | q3 | | |
- | |q2 | q3| | | + | | q2 | q3 | | |
- | |q3 | | + | | q3 | | | |
+ | |||
+ | Das bedeutet im Beispiel: Wenn der Automat sich im Zustand **q1** befindet, und es Erfolgt die Eingabe **a**, wechselt er zum Zustand **q3**. | ||
+ | |||
+ | Nun fällt auf, dass die Tabelle unvollständig ist: Wenn der Automat sich im Zustand **q1** befindet, und die Eingabe **b** erfolgt, ist kein Ziel angegeben, denn der Automat akzeptiert an dieser Stelle die Eingabe **b** überhaupt nicht. Das liegt daran, dass das Übergangsdiagramm den Fehlerzustand der Übersichtlichkeit halber weggelassen hat, das vollständige Diagramm sieht so aus: | ||
+ | |||
+ | {{ : | ||
+ | |||
+ | |||
+ | |||
+ | ^ | ||
+ | | q0 | q1 | q2 | | ||
+ | | q1 | q3 | | ||
+ | | q2 | q3 | | ||
+ | | q3 | | ||
+ | | qF | qF |