Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Endliche Automaten<br />
ε - Übergänge<br />
Was passiert, wenn wir die Endzustände eines Automaten A mittels<br />
ε-Übergängen nicht mit den Anfangszuständen eines anderen Automaten,<br />
sondern mit denen von A selbst verbinden Diese Konstruktion verdient<br />
einen eigenen Namen:<br />
Definition (Feedback-Automat)<br />
Der Feedback-Automat A + = 〈Q, X ε , δ + , I , F 〉 für einen εNEA<br />
A = 〈Q, X ε , δ, I , F 〉 ist spezifiziert durch<br />
Satz<br />
δ + (a) = δ(a) und δ + (ε) := δ(ε) ∪ (F × I )<br />
L(A) = L impliziert L(A + ) = L + := ⋃ { L n : n > 0 } .<br />
Achtung: L n bezeichnet hier die n-fache Konkatenation von L mit sich,<br />
nicht das n-fache cartesische Produkt!<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 63 / 191
Change language