12.08.2013 Aufrufe

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

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

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

MEHR ANZEIGEN
WENIGER ANZEIGEN

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 />

Morphismen<br />

Definition Morphismus<br />

Gegeben zwei Automaton<br />

A = (Q A , Σ, ∆ A , Q A I , QA F ) und B = (QB , Σ, ∆ B , Q B I , QB F )<br />

Eine Funktion ϕ : Q A → Q B ist ein Morphismus g.d.w.<br />

• ϕ(Q A I ) ⊆ QB I<br />

• ϕ(Q A F ) ⊆ QB F<br />

• ∀(q, a, qt) ∈ ∆ A : (ϕ(q), a, ϕ(qt)) ∈ ∆ B<br />

<strong>David</strong> R. <strong>Piegdon</strong> RWTH Aachen University of Technology<br />

Der Universal-Automat: Konstruktion und NEA-Minimierung

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!