23.07.2013 Aufrufe

Folien

Folien

Folien

MEHR ANZEIGEN
WENIGER ANZEIGEN

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)

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!