Handout - Institut für Theoretische Informatik - Technische ...

Endliche Automaten
ε - Übergänge
Definition
Ein nicht-deterministischer endlicher Automat mit ε-Übergängen (εNEA)
A = 〈Q, X ε , δ, I , F 〉 besteht aus
einer endlichen Zustandsmenge Q ;
einem Alphabet X ;
Relationen δ(a) ⊆ Q × Q für jedes a ∈ X ε ;
Teilmengen I , F ⊆ Q von Anfangs- bzw. Endzuständen.
Der Automat A heißt deterministisch (εDEA), falls
es höchstens einen Anfangszustand q 0 gibt;
die Relationen δ(a) , a ∈ X ε , partielle Funktionen sind;
D(δ(ε)) ∩ D(δ(a)) = ∅ für alle a ∈ X ;
F ; δ(ε) ⊆ F .
Übergänge mit Label ε heißen auch spontane Übergänge.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 53 / 191