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 Beide Seiten der Revision
se:automatentheorie [2008-12-01 17:27]
stefan
se:automatentheorie [2008-12-01 17:31]
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 =====
se/automatentheorie.txt · Zuletzt geändert: 2014-04-05 11:42 (Externe Bearbeitung)