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

Endliche Automaten
Erste Automatenkonstruktionen
Zustände, die von keinem Anfangszustand aus entlang eines Weges
erreichbar sind, tragen nichts zur erkannten Sprache eines NEA bei.
Definition
Für einen NEA A = 〈Q, X , δ, I , F 〉 sei der erreichbare Automat
A (r) := 〈Q (r) , X , δ (r) , I , F (r) 〉 gegeben durch
besteht aus den Zuständen, die von einem Anfangszustand aus
entlang von Wegen erreichbar sind;
Q (r)
δ (r) (a) ist die Einschränkung von δ(a) auf Q (r) , a ∈ X ;
F (r) := Q (r) ∩ F .
A heißt erreichbar, wenn A = A (r)
Proposition
gilt.
Jeder NEA A erfüllt (A (r) ) (r) = A (r) sowie L(A) = L(A (r) ) .
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 30 / 191