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 16:17] – [Die Übergangsmatrix] sbel | faecher:informatik:oberstufe:automaten:dea:start [23.05.2022 18:51] – sbel | ||
---|---|---|---|
Zeile 5: | Zeile 5: | ||
===== Definition ===== | ===== Definition ===== | ||
- | Eine DEA ist ein 5-Tupel '' | + | Ein DEA ist ein 5-Tupel '' |
* '' | * '' | ||
Zeile 30: | Zeile 30: | ||
==== Die Übergangsmatrix==== | ==== Die Übergangsmatrix==== | ||
- | 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: | 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 42: | 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 59: | 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 | ||
+ | |||
+ | ---- | ||
+ | {{: | ||
+ | === (A2) === | ||
+ | |||
+ | Entwickle einen DEA, der als Eingabenge | ||
+ | |||
+ | * Gib einen Übergangsgraphen an | ||
+ | * Gib eine Darstellung als Übergangsmatrix an | ||
+ | |||
+ | == Beispieleingaben: | ||
+ | |||
+ | 1000111110110 wird akzeptiert | ||
+ | 1011101000111 wird nicht akzeptiert | ||
+ | |||
+ | ++++ Hilfestellung | | ||
+ | Betrachte zunächst besondere Wörter wie etwa | ||
+ | '' | ||
+ | diese akzeptiert werden oder nicht. | ||
+ | ++++ | ||
+ | {{tag> DEA Übergangsmatrix Übergangsgraph}} |