Folien
Folien
Folien
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Automaten und Berechenbarkeit 5<br />
Definition 1.2.3 Ein DEA ist ein Quintupel A = (X,Z,z0,f,Zf) mit:<br />
• X nichtleere endliche Menge von Symbolen (Eingabealphabet)<br />
• Z nichtleere endliche Menge (Zustandsmenge)<br />
• z0 ∈ Z (Startzustand)<br />
• Zf ⊆ Z (Finalzustandsmenge)<br />
• f : Z×X → Z totale Funktion (Überführungsfunktion)