11. Juli und 13. Juli 2006
11. Juli und 13. Juli 2006
11. Juli und 13. Juli 2006
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Satz<br />
Eine Sprache A ⊆ Σ ∗ ist entscheidbar gdw.<br />
A <strong>und</strong> A (= Σ ∗ A) semi-entscheidbar sind.<br />
Beweis:<br />
“⇒”: klar<br />
“⇐”: Semi-Entscheidungsverfahren M 1 für A<br />
Semi-Entscheidungsverfahren M 2 für A<br />
Entscheidungsverfahren für A:<br />
INPUT(x);<br />
FOR s := 1,2,3, . . . DO<br />
IF M 1 (x) stoppt in s Schritten<br />
THEN OUTPUT(1) END;<br />
IF M 2 (x) stoppt in s Schritten<br />
THEN OUTPUT(0) END;<br />
END.<br />
✷<br />
176