Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Gr<strong>und</strong>begriffe Textsuche Abschlusseig. Reguläre Ausdrücke Charakterisierungen Entscheidungsprobleme<br />
Gr<strong>und</strong>begriffe<br />
(Entscheidungs-)Problem<br />
. . . ist eine <strong>Teil</strong>menge P ⊆ M<br />
Beispiele:<br />
P = Menge aller Primzahlen, M = N<br />
P = Menge aller NEAs A mit L(A) ≠ ∅,<br />
M = Menge aller NEAs<br />
man stelle sich eine Blackbox vor mit<br />
Eingabe m ∈ M<br />
Ausgabe ja, falls m ∈ P, nein sonst<br />
(jede Berech. terminiert)<br />
Entscheidbarkeit: P ist entscheidbar,<br />
wenn es einen Algorithmus A gibt, der die Blackbox implementiert.<br />
( )<br />
Programmiersprache u. Rechnermodell sind relativ unerheblich:<br />
erweiterte Churchsche These<br />
Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 45