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 14:17] – [Definition] sbel | faecher:informatik:oberstufe:automaten:dea:start [20.05.2022 14:28] – [Die Übergangsmatri x] sbel | ||
---|---|---|---|
Zeile 28: | Zeile 28: | ||
* s=q0 | * s=q0 | ||
- | ==== Die Übergangsmatrix==== | + | ==== Die Übergangsmatri x==== |
- | Die Übergangsfunktion δ kann auch als <color green/ | + | Die Übergangsfunktion δ kann auch als <color green/ |
+ | |||
+ | In den Tabellenzellen wird vermerkt, zu welchem Zustand der Automat wechselt, wenn er zuvor im Zustand der ersten Spalte war und dann die Eingabe der ersten Zeile erfolgt. Die Übergangstabelle für das obige Beispiel sieht also so aus: | ||
^ δ | ^ δ | ||
Zeile 40: | Zeile 42: | ||
Das bedeutet im Beispiel: Wenn der Automat sich im Zustand **q1** befindet, und es Erfolgt die Eingabe **a**, wechselt er zum Zustand **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 | + | 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 im Übergangsdiagramm |
{{ : | {{ : | ||
Zeile 57: | Zeile 59: | ||
</ | </ | ||
+ | |||
+ | ---- | ||
+ | {{: | ||
+ | === (A1) === | ||
+ | |||
+ | Gegeben ist der folgende DEA: M = ({z0, | ||
+ | |||
+ | ^ δ | ||
+ | | z0 | z1 | z3 | | ||
+ | | z1 | z2 | z0 | | ||
+ | | z2 | z3 | z1 | | ||
+ | | z3 | z0 | z2 | | ||
+ | |||
+ | * Welches sind die Zustände des DEA, was der Start, was gültige Endzustände? | ||
+ | * Welche Eingaben akzeptiert der Automat? | ||
+ | * Erstelle ein Zustandsübergangsdiagramm für den DEA |