Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
se:automatentheorie [2008-12-01 17:27] stefan |
se:automatentheorie [2014-04-05 11:42] (aktuell) |
||
---|---|---|---|
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 | + | * <del>Beispiele aus Vorlesung nochmal machen</del> |
- | * Ü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 | + | |
* Aufgaben 3.5.2 machen | * Aufgaben 3.5.2 machen | ||
+ | * <del>Übung: NEA in DEA überführen</del> | ||
+ | * <del>BNF</del> | ||
+ | * <del>Skript Herold lesen</del> | ||
+ | * <del>Definition reguläre Sprache</del> | ||
+ | * <del>Normalformen</del> | ||
+ | * <del>Kann man Automaten mit LaTeX setzen?</del> | ||
+ |