Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Einführung Konstruktion des Universal-Automaten NEA-Minimierung Fazit<br />
I A<br />
Beweis: ψA ist Bijektion:<br />
χA : FL → 2 Q : χA((X, Y )) := { p ∈ Q | Y ⊆ FutA(p) }<br />
χA((X, Y )) = P , R = { S ∈ Q C | P ⊆ S }<br />
<strong>David</strong> R. <strong>Piegdon</strong> RWTH Aachen University of Technology<br />
Der Universal-Automat: Konstruktion und NEA-Minimierung