Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Einführung Konstruktion des Universal-Automaten NEA-Minimierung Fazit<br />
NEA-Minimierung über Morphismen<br />
Konsistenzbedingung<br />
Gegeben einen DFA AL und seinen Universalautomaton UL,<br />
ein Subautomat M hat die gleiche Sprache, falls<br />
a) <br />
F ∈QM ,F ⊆QA F = Q<br />
F<br />
A F<br />
(Alle Endzustände von A sind abgedeckt)<br />
b) ∀a ∈ Σ, ∀q ∈ Q A , ∀P ∈ Q M :<br />
[ δ A (q, a) = p ∧ p ∈ P ]<br />
→ [ ∃S ∈ Q M : q ∈ S ∧ δ A (S, a) ⊆ P ]<br />
(Induktion Rückwärts ab Endzuständen: w ∈ L ⇒<br />
es existiert Rückwärtslauf über w zu einem Startzustand)<br />
<strong>David</strong> R. <strong>Piegdon</strong> RWTH Aachen University of Technology<br />
Der Universal-Automat: Konstruktion und NEA-Minimierung