Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Seminar Angewandte Automatentheorie, WS ... - David R. Piegdon
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Einführung Konstruktion des Universal-Automaten NEA-Minimierung Fazit<br />
I A<br />
Beweis: ψA ist Bijektion:<br />
ψA : IA → FL : ψA(P) := (X, Y ) mit Y = <br />
FutA(p)<br />
Sei χA = ψ −1<br />
A : χA : FL → 2 Q ,<br />
χA((X, Y )) := { p ∈ Q | Y ⊆ FutA(p) }<br />
Wenn ψA Bijektion, dann auch χA.<br />
<strong>David</strong> R. <strong>Piegdon</strong> RWTH Aachen University of Technology<br />
Der Universal-Automat: Konstruktion und NEA-Minimierung<br />
p∈P