Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste ÜberarbeitungBeide Seiten der Revision | ||
faecher:informatik:oberstufe:automaten:mealy:start [31.05.2022 09:00] – sbel | faecher:informatik:oberstufe:automaten:mealy:start [31.05.2022 14:39] – [Übergangstabelle] sbel | ||
---|---|---|---|
Zeile 4: | Zeile 4: | ||
====== Mealy-Automaten ====== | ====== Mealy-Automaten ====== | ||
+ | ((Diese Wiki-Seite basiert auf Material der ZPG INformatik/ | ||
- | Die sogenannten **Mealy-Automaten** können in jedem Schritt außer der Änderung des internen Zustands auch eine **Ausgabe** erzeugen | + | ===== Grundlagen |
+ | Die sogenannten **Mealy-Automaten** können in jedem Schritt außer der Änderung des internen Zustands auch eine **Ausgabe** erzeugen und erlauben damit die Modellierung z.B. von Getränke-, Fahrkarten- oder ähnlichen Automaten, die wir aus unserer Umwelt kennen. | ||
Als Beispiel soll ein Getränkeautomat dienen, der... | Als Beispiel soll ein Getränkeautomat dienen, der... | ||
Zeile 33: | Zeile 34: | ||
Die Überführungsfunktion δ und die Ausgabefunktion λ können wie beim DEA auch, in einem **Übergangsgrgraphen** dargestellt werden. Ein passender **Übergangs-** oder **Transitionsgraph** sieht folgendermaßen aus: | Die Überführungsfunktion δ und die Ausgabefunktion λ können wie beim DEA auch, in einem **Übergangsgrgraphen** dargestellt werden. Ein passender **Übergangs-** oder **Transitionsgraph** sieht folgendermaßen aus: | ||
- | {{ : | + | {{ : |
+ | |||
+ | Anders als beim DEA muss zu jedem Übergang außer der Eingabe auch die Ausgabe notiert werden, dies geschieht für gewöhnlich durch ein Trennzeichen wie '';'' | ||
Der Automat befindet sich immer in genau einem der Zustände | Der Automat befindet sich immer in genau einem der Zustände | ||
Zeile 47: | Zeile 50: | ||
Vom Startzustand '' | Vom Startzustand '' | ||
- | Ebenso | + | ---- |
+ | {{: | ||
+ | === (A1) === | ||
+ | |||
+ | Baue den Getränkeautomaten in [[https:// | ||
+ | |||
+ | * Erzeuge einen neuen Mealy-Automaten | ||
+ | * Schalte im Reiter '' | ||
+ | * Definiere im Reiter '' | ||
+ | * Überführe den Übergangsgraphen von oben nach FLACI | ||
+ | * Simuliere Eingaben | ||
+ | |||
+ | Welche Funktion hat die Option '' | ||
+ | |||
+ | ---- | ||
+ | |||
+ | ===== Übergangstabelle ===== | ||
+ | |||
+ | |||
+ | Und wie bei [[..: | ||
+ | |||
+ | | | Eingaben → (Folgezustand / Ausgabe) | ||
+ | ^ Ausgangszustand | ||
+ | | q0 | ||
+ | | q1 | ||
+ | | q2 | ||
+ | | qF | ||
+ | |||
+ | |||
+ | ---- | ||
+ | {{: | ||
+ | === (A2) === | ||
+ | |||
+ | Vervollständige anhand des Übergangsgraphen die Übergangsmatrix | ||
+ | |||
+ | |||
+ | ---- | ||
+ | {{: | ||
+ | === (A3) === | ||
+ | |||
+ | Schalte | ||
+ | |||
+ | |||
+ | ===== Übungen ===== | ||
+ | |||
+ | {{: | ||
+ | === (A4) === | ||
+ | |||
+ | Gib eine Eingabe an, die zur Ausgabe '' | ||
+ | |||
+ | ---- | ||
+ | {{: | ||
+ | === (A5) === | ||
+ | |||
+ | Gib die Ausgabe an, die zur Eingabe '' | ||
+ | |||
+ | ---- | ||
+ | {{: | ||
+ | === (A6) === | ||
+ | |||
+ | Modelliere einen Mealy-Automaten für einen Automaten aus der Schule. Gib die folgenden Informationen an: | ||
+ | * Eingabealphabet, | ||
+ | * Zustandsübergangs- und Ausgabefunktionen als Tabelle | ||
+ | * Zustandsübergangsgraph | ||
+ | |||
+ | |||
+ | ---- | ||
+ | {{: | ||
+ | === (A7) === | ||
+ | |||
+ | Ein Mealy-Automat A ist durch den folgenden Übergangsgraphen gegeben: | ||
+ | |||
+ | {{ : | ||
+ | |||
+ | * Gib die Ausgabe zur Eingabe '' | ||
+ | * Beschreibe A als 6-Tupel. Lege die Übergangsfunktion δ sowie die Ausgabefunktion γ durch eine Tabelle fest. | ||
+ | * Beschreibe die " | ||