faecher:informatik:oberstufe:automaten:mealy:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
faecher:informatik:oberstufe:automaten:mealy:start [31.01.2023 12:07] – [Grundlagen und Übergangsgraph] Marco Kuemmelfaecher:informatik:oberstufe:automaten:mealy:start [26.03.2025 11:01] (aktuell) Marco Kuemmel
Zeile 1: Zeile 1:
- 
 {{ :faecher:informatik:oberstufe:automaten:mealy:mealy.png?180|}} {{ :faecher:informatik:oberstufe:automaten:mealy:mealy.png?180|}}
  
Zeile 14: Zeile 13:
  
   * ... die Tasten A, C und S hat (für Apfelsaft, Cola und Stop)    * ... die Tasten A, C und S hat (für Apfelsaft, Cola und Stop) 
-  * ... 1EUR- und 2EUR-Münzen annimmt.+  * ... 1€- und 2€-Münzen annimmt.
  
-Damit ist sein **Eingabealphabet Σ** = {c, a, s, 1, 2}. Anders als ein DEA bewirkt bei einem Mealy-Automaten jede Eingabe eine Ausgabe, das **Ausgabealphabet Δ** = {"Guthaben 1€", "Guthaben 2€", "1€" , "2€", "Apfelsaftflasche", "Colaflasche"}+Damit ist sein **Eingabealphabet Σ** = {a, c, s, 1, 2}. Anders als ein DEA bewirkt bei einem Mealy-Automaten jede Eingabe eine Ausgabe aus dem **Ausgabealphabet Δ** = {"Guthaben 1€", "Guthaben 2€", "1€" , "2€", "Apfelsaftflasche", "Colaflasche"}
  
 <WRAP center round tip 90%> <WRAP center round tip 90%>
Zeile 25: Zeile 24:
   * Σ: Eingabealphabet   * Σ: Eingabealphabet
   * ∆: Ausgabealphabet   * ∆: Ausgabealphabet
-  * δ: totale Überführungsfunktion Q x Σ → Q +  * δ: Übergangsfunktion Q x Σ → Q 
-  * λ: totale Ausgabefunktion Q x Σ → ∆+  * λ: Ausgabefunktion Q x Σ → ∆
   * q0: Anfangszustand, q0 ∈ Q   * q0: Anfangszustand, q0 ∈ Q
  
Zeile 34: Zeile 33:
 Die Überführungsfunktion δ und die Ausgabefunktion λ können wie beim DEA auch, in einem **Übergangsgraphen** 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 **Übergangsgraphen** dargestellt werden. Ein passender **Übergangs-** oder **Transitionsgraph** sieht folgendermaßen aus:
  
-{{ :faecher:informatik:oberstufe:automaten:mealy:mealy-transistion.png?600 |}}+{{ :faecher:informatik:oberstufe:automaten:mealy:getraenkeautomat.png?600 |}}
  
  
Zeile 48: Zeile 47:
  
  
-Vom Startzustand ''q0'' aus wird durch Einwurf von ''1€'' der Zustand ''q2'' erreicht und die Ausgabe ''Guthaben: 1,00'' erzeugt.+Vom Startzustand ''q0'' aus wird durch Einwurf von ''1€'' der Zustand ''q1'' erreicht und die Ausgabe ''Guthaben: 1,00'' erzeugt.
  
 ---- ----
Zeile 61: Zeile 60:
   * Erzeuge einen neuen Mealy-Automaten   * Erzeuge einen neuen Mealy-Automaten
   * Schalte im Reiter ''Definition'' die Option für ''δ und λ als partielle Funktionen'' an   * Schalte im Reiter ''Definition'' die Option für ''δ und λ als partielle Funktionen'' an
-  * Definiere im Reiter ''Alphabet'' das Eigabe- und das Ausgabealphabet+  * Definiere im Reiter ''Alphabet'' das Eingabe- und das Ausgabealphabet
   * Überführe den Übergangsgraphen von oben nach FLACI   * Überführe den Übergangsgraphen von oben nach FLACI
   * Simuliere Eingaben   * Simuliere Eingaben
Zeile 83: Zeile 82:
 Und wie bei [[..:dea:start|DEAs]] kann man die Übergangsfunktion ''δ'' und die Ausgabefunktion ''λ'' auch hier als **Übergangsmatrix/Übergangstabelle** darstellen, anstelle des Übergangsgraphen. Wie bei den DEAs gilt: Im Graph kann man den Fehlerzustand der Übersichtlichkeit wegen weglassen, in der Übergangsmatrix wird dieser stets angegeben. Und wie bei [[..:dea:start|DEAs]] kann man die Übergangsfunktion ''δ'' und die Ausgabefunktion ''λ'' auch hier als **Übergangsmatrix/Übergangstabelle** darstellen, anstelle des Übergangsgraphen. Wie bei den DEAs gilt: Im Graph kann man den Fehlerzustand der Übersichtlichkeit wegen weglassen, in der Übergangsmatrix wird dieser stets angegeben.
  
-|                   | Eingaben → (Folgezustand / Ausgabe)                       ||||| +|                   | Eingaben → (Folgezustand / Ausgabe)                        ||||| 
-^  Ausgangszustand  ^  1€                                  ^  2€  ^  c  ^  a  ^  s  ^ +^  Ausgangszustand  ^  1€                                  ^  2€  ^  c   ^  a  ^  s  ^ 
-|  q0               |  q2/"Guthaben 1€"                              |      |     |         | +|  q0               |  q1/"Guthaben 1€"                    |      |      |         | 
-|  q1                                                    |      |     |         | +|  q1                                                    |      |      |         | 
-|  q2                                                    |      |     |         | +|  q2                                                    |      |      |         | 
-|  qF                                                    |      |   qF  |         |+|  qF                                                    |      |  qF  |         |
  
  
Zeile 101: Zeile 100:
 {{:aufgabe.png?nolink  |}} {{:aufgabe.png?nolink  |}}
 === (A3) === === (A3) ===
 +Falls du mit FLACI arbeitest:\\
 Schalte  die Option ''δ und λ als partielle Funktionen'' in FLACI aus und ergänze den Automaten in FLACI um den Fehlerzustand. Überprüfe so deine Tabelle aus der vorigen Aufgabe.  Schalte  die Option ''δ und λ als partielle Funktionen'' in FLACI aus und ergänze den Automaten in FLACI um den Fehlerzustand. Überprüfe so deine Tabelle aus der vorigen Aufgabe. 
  
Zeile 137: Zeile 136:
  
   * Gib die Ausgabe zur Eingabe ''uhuhuhuuhhuhu'' an   * Gib die Ausgabe zur Eingabe ''uhuhuhuuhhuhu'' an
-  * Beschreibe A als 6-Tupel. Lege die Übergangsfunktion δ sowie die Ausgabefunktion γ durch eine Tabelle fest. +  * Beschreibe A als 6-Tupel. Lege die Übergangsfunktion δ sowie die Ausgabefunktion λ durch eine Tabelle fest. 
-  * Beschreibe die "Übersetzungsfunktion" - wann gibt der Automat einen 1 aus?+  * Beschreibe die "Übersetzungsfunktion" - wann gibt der Automat eine 1 aus?
  
  
  • faecher/informatik/oberstufe/automaten/mealy/start.1675166839.txt.gz
  • Zuletzt geändert: 31.01.2023 12:07
  • von Marco Kuemmel