05.11.2013 Aufrufe

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

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.

Übersicht: Unentscheidbare Probleme I<br />

4 5. Unentscheidbare Probleme<br />

5.0 Problemstellung<br />

5.1 Universelle Turingmaschine<br />

5.2 Das Halteproblem<br />

5.3 Weitere unentscheidbare Probleme<br />

5.3.0 Das Akzeptanzproblem<br />

5.3.1 Akzeptanz des leeren Worts<br />

5.3.2 Terminierung eines Algorithmus<br />

5.4 Satz von Rice<br />

Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 5 / 215

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!