Benutzer-Werkzeuge

Webseiten-Werkzeuge


se:automatentheorie

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

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?
 +
se/automatentheorie.txt · Zuletzt geändert: 2014-04-05 11:42 (Externe Bearbeitung)