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

Einführung Konstruktion des Universal-Automaten NEA-Minimierung Fazit
Mathematische Konstruktion vom Universal-Automaten
Beweis: UL ∼ VL
{ ((XP, YP), a, (X S, Y S)) | XP · a · Y S ⊆ L }
= ∆ U ∼ ∆ V =
{ (P, a, S) | δ(P, a) ⊆ S }
δ(P, a) ⊆ S ⇐⇒ Y S ⊆
p∈δ(P,a)
F(p)
⇐⇒ a · YS ⊆
F(p) = YP ⇐⇒ XP · a · YS ⊆ L
p∈P
David R. Piegdon RWTH Aachen University of Technology
Der Universal-Automat: Konstruktion und NEA-Minimierung