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 />
NEA-Minimierung über Morphismen<br />
Aufzählen aller Subautomaten<br />
• Jeder zustandsminimale NEA für L ist Subautomat von UL.<br />
• Finden: Jeden Subautomaten auf Sprachgleichheit testen.<br />
• Sprachäquivalenz von NEAs sehr aufwendig.<br />
Zusätzliche Tests für schnellen Ausschluss:<br />
• Heuristiken<br />
• Konsistenzbedingungen<br />
<strong>David</strong> R. <strong>Piegdon</strong> RWTH Aachen University of Technology<br />
Der Universal-Automat: Konstruktion und NEA-Minimierung