Automatentheorie Jendrik und Jeyhannes. Allgemeines Modelle mit Zuständen, die Eingaben annehmen und Ausgaben erstellen Endliche Automaten Auch Zustandsmaschine.

Präsentation zum Thema: "Automatentheorie Jendrik und Jeyhannes. Allgemeines Modelle mit Zuständen, die Eingaben annehmen und Ausgaben erstellen Endliche Automaten Auch Zustandsmaschine."—  Präsentation transkript:

1 Automatentheorie Jendrik und Jeyhannes

2 Allgemeines Modelle mit Zuständen, die Eingaben annehmen und Ausgaben erstellen Endliche Automaten Auch Zustandsmaschine und „Finite State Machine“ genannt

3 Akzeptoren 5-Tupel {Σ,S,s 0,δ,F} Σ: Eingabealphabet S: Zustände S 0: Startzustand δ: Zustandsübergänge F: Endzustände Keine separate Ausgabe

4 Eingabealphabet (Σ) Beschreibt erlaubte Eingaben zum Ändern des Zustandes

5 Startzustand (s 0 ) Definiert den Zustand, mit dem der Automat seine Ausführung beginnt.

6 Endzustand Ein Zustand, in dem sich der Automat nach einer korrekten Eingabe befindet.

7 Übergangstabelle (δ) Wechsel des Zustandes je nach aktuellem Zustand und Eingabe δE0E1E2 Z0 Z2Z0 Z1Z2Z1Z2 Z1Z0Z1

8 Transduktoren 6-Tupel {Σ, Γ, S, s0, δ, ω} Σ: Eingabealphabet Γ: Ausgabealphabet S: Zustände S 0: Startzustand δ: Zustandsübergänge ω: Ausgabeaktionen Keine Endzustände

9 Ausgabe: Moore- und Mealy- Automaten Moore-Automat – Ausgabe wird gesammelt im Zustand definiert. (Schlagen -> z0/weinen <- Böse Worte) Mealy-Automat: – Ausgabe hängt von der Eingabe ab. (Schlagen/Weinen -> z0)

10 Ausgabetabelle (Mealy-Automat, ω) ωE0E1E2 Z0A0A2A0 Z1A2A1A2 Z2A1A0A1

11 Quellen http://www.planet-science.de/theoretische- informatik/74-endliche-automaten-mit- ausgabe http://www.semiversus.com/init/page/show/ edt4_automatentheorie http://www.informatik.ursulaschule.de/index. php?cid=499