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

3. Turingmaschinen 3.1 Entscheidbare Sprachen/Probleme
Definition
Die von einer dTM T aufgezählte Sprache G(T ) besteht aus allen
Wörtern w ∈ Σ ∗ , die in T -Konfigurationen der Form 〈q F , ω l bw#ω r 〉
mit b ∈ B vorkommen, wenn T aus der Konfiguration 〈q 0 , #〉 startet.
Satz
Jede Sprache der Form G(T ) ist semi-entscheidbar.
Beweis.
M sei eine 2-Band Maschine, die auf T auf B 1 simuliert, und nach
jedem Erreichen einer Konfiguration mit dem Endzustand von T das
Σ-Wort rechts des T -Kopfes mit der M -Eingabe auf B 0 vergleicht.
Satz
Jede semi-entscheidbare Sprache ist von der Form G(T ) .
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 29 / 215