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

5. Unentscheidbare Probleme 5.2 Das Halteproblem
Definition
L halt
:= { c(M)w : M TM, und M d
hält bei Eingabe w }
Satz
Die Sprache L halt
ist semi-entscheidbar, aber nicht entscheidbar.
Beweis
Semi-Entscheidbarkeit: via Kombination von Syntaxcheck mit M U
:
v
v = c(M)w?
Ja
c(M d )w
hält M U ?
Ja
v akz.
Nein
v n. akz.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 86 / 215