01.03.2014 Aufrufe

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Gr<strong>und</strong>begriffe Textsuche Abschlusseig. Reguläre Ausdrücke Charakterisierungen Entscheidungsprobleme<br />

Reduktion<br />

(Entscheidungs-)Problem<br />

. . . ist eine <strong>Teil</strong>menge P ⊆ M<br />

man stelle sich eine Blackbox vor mit<br />

Eingabe m ∈ M<br />

Ausgabe ja, falls m ∈ P, nein sonst<br />

Polynomialzeit: Anzahl der Rechenschritte ist pol(|m|),<br />

|m| : Länge der Eingabe; pol ist ein festes Polynom<br />

(Polynomielle) Reduktion von P ⊆ M nach P ′ ⊆ M ′<br />

ist eine (in Polynomialzeit berechenbare) Funktion π mit<br />

π : M → M ′<br />

m ∈ P gdw. π(m) ∈ P ′<br />

Skizze/Bsp.: siehe Tafel<br />

•<br />

Wenn P zu P ′ reduzierbar, dann ist P höchstens so schwer wie P ′ .<br />

Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 47

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!