Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
se:automatentheorie [2008-12-01 17:27] stefan |
se:automatentheorie [2008-12-02 10:18] stefan |
||
---|---|---|---|
Zeile 114: | Zeile 114: | ||
===== Automaten mit Ausgabe ===== | ===== Automaten mit Ausgabe ===== | ||
+ | * **Definition**: A = (X, Y, S, s<sub>0</sub>, δ, σ) | ||
+ | * X: Eingabealphabet | ||
+ | * Y: Ausgabealphabet | ||
+ | * S: Zustandsmenge (endlich) | ||
+ | * s<sub>0</sub>: Startzustand s<sub>0</sub> ⊆ S | ||
+ | * δ: Zustandsübergangsfunktion S x X → S | ||
+ | * σ: Ausgabefunktion | ||
* Mealy-Automaten: Ausgabe bei Transition | * Mealy-Automaten: Ausgabe bei Transition | ||
- | * δ: S x X → Y, δ(s<sub>i</sub>, x) = Y | + | * σ: S x X → Y, σ(s<sub>i</sub>, x) = Y |
* Moore-Automaten: Ausgabe im Zielzustand | * Moore-Automaten: Ausgabe im Zielzustand | ||
- | * δ: S → Y | + | * σ: S → Y |
* Eselsbrücke: M**oo**re -> Z**u**stand, Me**a**ly -> Tr**a**nsition | * Eselsbrücke: M**oo**re -> Z**u**stand, Me**a**ly -> Tr**a**nsition | ||
+ | |||
===== Formale Sprachen und Grammatiken ===== | ===== Formale Sprachen und Grammatiken ===== | ||
Zeile 168: | Zeile 176: | ||
===== ToDo ===== | ===== ToDo ===== | ||
- | * BNF | ||
- | * Übung: NEA in DEA überführen | ||
- | * Skript Herold lesen | ||
- | * Definition reguläre Sprache | ||
- | * Normalformen | ||
- | * Kann man Automaten mit LaTeX setzen? | ||
* Beispiele aus Vorlesung nochmal machen | * Beispiele aus Vorlesung nochmal machen | ||
* Aufgaben 3.5.2 machen | * Aufgaben 3.5.2 machen | ||
+ | * Übung: NEA in DEA überführen | ||
+ | * <del>BNF</del> | ||
+ | * <del>Skript Herold lesen</del> | ||
+ | * <del>Definition reguläre Sprache</del> | ||
+ | * <del>Normalformen</del> | ||
+ | * Kann man Automaten mit LaTeX setzen? | ||
+ |