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 />
Mathematische Konstruktion vom Universal-Automaten<br />
Beweis: UL ∼ VL<br />
{ (X, Y ) | ɛ ∈ Y } = Q U F ∼ QV F = { P ∈ IA | P ⊆ QF }<br />
(ähnlich wie bei Q U I ∼ QV I )<br />
<strong>David</strong> R. <strong>Piegdon</strong> RWTH Aachen University of Technology<br />
Der Universal-Automat: Konstruktion und NEA-Minimierung