Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:automaten:dea:start [20.05.2022 15:59] – [Die Übergangsmatrix] sbel
+++ faecher:informatik:oberstufe:automaten:dea:start [23.05.2022 18:35] – [Die Übergangsmatrix] sbel
@@ Zeile 13: / Zeile 13: @@
   * ''s'' Startzustand.
+Den **Übergang** von einem Zustand zum nächsten bezeichnet man auch als **Transition** oder **Zustandsübergang**.
 ===== Darstellung =====
@@ Zeile 29: / Zeile 30: @@
 ==== Die Übergangsmatrix====
-Die Übergangsfunktion δ kann auch als <color green/lightgrey>Übergangsmatrix</color> dargestellt werden. Dabei werden in der ersten Spalte alle Zustände eingetragen und in der ersten Zeile alle ZUeichen des Eingabealphabets
+Die Übergangsfunktion δ kann auch als <color green/lightgrey>Übergangsmatrix</color> oder <color green/lightgrey>Übergangstabelle</color>dargestellt werden. Dabei werden in der ersten Spalte alle Zustände eingetragen und in der ersten Zeile alle Zeichen des Eingabealphabets Σ eingetragen.
+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:
 ^  δ   ^  a   ^  b   ^
@@ Zeile 36: / Zeile 39: @@
 |  q2  |  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 im Übergangsdiagramm der Fehlerzustand der Übersichtlichkeit halber weggelassen wurde. Das vollständige Diagramm sieht so aus:
+{{ :faecher:informatik:oberstufe:automaten:dea:beispiel1.png?600 |}}
+Die vollständige Übergangsmatrix sieht also so aus:
+^  δ   ^  a   ^  b   ^
+|  q0  |  q1  |  q2  |
+|  q1  |  q3  |  qF  |
+|  q2  |  q3  |  qF  |
+|  q3  |  qF  |  qF  |
+|  qF  |  qF  |  qF  |
+<WRAP center round important 90%>
+Während man in Zustandsübergangsdiagrammen den Fehlerzustand meist weglässt, um die Übersichtlichkeit zu verbessern, wird der Fehlerzustand bei der Darstellung von δ als Übergangsmatrix für gewöhnlich angegeben.
+</WRAP>
+----
+{{:aufgabe.png?nolink  |}}
+=== (A1) ===
+Gegeben ist der folgende DEA: M = ({z0,z1,z2,z3}, {apfel,birne}, δ, z0, {z3}). δ ist in Form einer Übergangstabelle gegeben:
+^  δ   ^  a   ^  b   ^
+|  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
+----
+{{:aufgabe.png?nolink  |}}
+=== (A2) ===
+Entwickle einen DEA, der als Eingabenge  Σ={0,1} hat, und alle Eingaben akzeptiert, die auf  ''10'' enden.
+  * 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
+''0'' oder '''' (leeres Wort) und entscheide, ob
+diese akzeptiert werden oder nicht.
+++++
+{{tag> DEA Übergangsmatrix Übergangsgraph}}