9
Informatik (Fach) / Automaten/Formale Sprachen (Lektion)
- Definition DEA Deterministischer Endlicher Automat 5-Tupel (Q, s, ∑,F, δ)
- Q Q ist eine nicht leere, endliche Menge von Zuständen.
- s s ∈ Q ist der Startzustand
- ∑ ∑ ist ein nicht leeres, endliches Eingabealphabet
- F F ist die Menge der akzeptierenden Endzustände, wobei F eine Teilmengevon Q ist
- δ δ:Qx∑ → Q ist die Übergangsfunktion, die jeder Kombination aus einemZustand und einem Eingabezeichen einen (deterministisch!)Nachfolgezustand zuordnet
- Definition Mealy-Automat 6-Tupel (Q, s, ∑, Ω, δ, λ)
- λ λ:Qx∑ → Ω ist die Ausgabefunktion, die jeder Kombination aus einem Zustand und einem Eingabezeichen eine Ausgabe zuordnet
- Ω Ω ist ein nicht leeres, endliches Ausgabealphabet
Anzeige