Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Endliche Automaten<br />
Probleme=formale Sprachen<br />
Später werden wir die Begriffe “E-Problem” und “Sprache” im obigen<br />
Sinne synonym verwenden.<br />
In der Realität ist man eher an Berechnungsproblemen (kurz<br />
B-Problemen) interessiert, etwa der Primfaktorzerlegung von n ∈ N ,<br />
oder einer kosten-optimalen Reiseroute.<br />
Dennoch kann die Einschränkung auf E-Probleme sinnvoll sein, da<br />
“schwere” E-Probleme nur von “schweren” B-Problemen herrühren<br />
können.<br />
Um z.B. das B-Problem des Handlungsreisenden als Sprache<br />
betrachten zu können, erweitert man es zunächst mittels einer<br />
“Kostenschranke” K zu einem E-Problem das fragt: exitiert eine<br />
Rundreise, deren “Kosten” maximal K betragen<br />
Außerdem wird es nötig sein, Probleme mit Hilfe geeigneter<br />
Alphabete zu codieren.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 21 / 191
Change language