Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
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