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