Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon

Einführung Konstruktion des Universal-Automaten NEA-Minimierung Fazit
Universal-Automat
Definition des Universal-Automaten
Universal-Automat UL
• UL = (FL, Σ, ∆ U , Q U I , QU F )
• FL = { (X, Y ) | (X, Y ) ist max. Faktorisierung von L }
• ∆ U = { ((X, Y ), a, (X ′ , Y ′ )) ∈ FL × Σ × FL | X · a · Y ′ ⊆ L }
• Q U I
• Q U F
= { (X, Y ) | ɛ ∈ X }
= { (X, Y ) | ɛ ∈ Y }
David R. Piegdon RWTH Aachen University of Technology
Der Universal-Automat: Konstruktion und NEA-Minimierung