Deterministische endliche Automaten Pr¨ufungsstoff 1. Du kannst die formalen Komponenten eines deterministischen endlichen Automaten (DFA) aufz¨ahlen. • Alphabet Σ • Zustandsmenge Q • Anfangszustand q

(Alternativ kann man verwenden, dass die Umkehrfunktion einer stetige bijektiven Abbildungen zwischen kompak- ten Mengen stets wieder stetig ist, indem man die Einschr¨ ankungen von

(d) Erg¨ anze den DFA um einen weiteren Zustand und zus¨ atzliche ¨ Uberg¨ ange, so dass der neue DFA alle ¨ Uberg¨ ange definiert aber dieselbe Sprache akzeptiert.

Beachte, dass eine einzelne Null in einem separaten Zustand (q 1 ) akzeptiert wird aber alle W¨ orter, die aus mehr als einem Zeichen bestehen und mit einer Null beginnen, gleich

[r]

Man zeichnet alle Kanten ein, die benötigt werden, damit sich die von dem Automaten akzeptierte Sprache nicht ändert, wenn man die ε -Kante wegläÿt:.. Hierzu überlegt man sich,

Zu jedem endlichen nichtdeterministischen Automaten gibt es einen endlichen deterministischen Automaten, der dieselbe Sprache akzeptiert.. Bemerkung: Jeder Automat mit ε -Übergängen

Man zeichnet alle Kanten ein, die benötigt werden, damit sich die von dem Automaten akzeptierte Sprache nicht ändert, wenn man die -Kante wegläÿt. Hierzu kann man sich überlegen,

Zeichne alle Kanten ein, die benötigt werden, damit sich die von dem Automaten akzeptierte Sprache nicht ändert, wenn man die -Kante wegläÿt... deterministische