Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ... Handout - Institut für Theoretische Informatik - Technische ...
3. Turingmaschinen 3.0 Vorüberlegung Beispiel L = { a n b n c n : n ∈ N } mittels einer Maschine, deren Kopf gleichzeitig schreibt und sich bewegt; B wie oben. x/〈#, L〉 c/〈c, L〉 start q 0 c/〈#, L〉 q c #/〈#, N〉 #/〈#, L〉 q F {b, x, c} ∋ z/〈z, R〉 q a a/〈x, R〉 q b b/〈x, L〉 b/〈b, L〉 (Wird die Eingabe akzeptiert, ist das Band hinterher leer.) Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 20 / 215
3. Turingmaschinen 3.0 Vorüberlegung Definition Sprachen, die von einer STM akzeptiert werden, heißen semi-entscheidbar Satz Sprachen, die von einer TMeB akzeptiert werden, sind semi-entscheidbar. Beweis. [falls Σ echte Teilmenge von B − {#} ist] Ersetzt man das Alphabet Σ einer TMeB M = 〈Q, B, Σ, δ, q 0 , q F 〉 durch B − {#} , so erhält man eine STM M ′ , die Eingaben aus (B − {#}) ∗ verarbeiten kann. Zur Einschränkung auf Eingaben aus Σ ∗ schalten wir einen Präprozessor M Σ := 〈{r 0 , r 1 , r F = q 0 }, B, B − {#}, ρ, r 0 , r F 〉 mit x/L start r 0 #/R x/R r 1 #/L r F wobei x ∈ Σ davor. Dieser akzeptiert Σ ∗ ⊆ (B − {#}) ∗ und reproduziert für Wörter aus Σ ∗ die Initialkonfiguration. Natürlich muß {r 1 , r 2 } ∩ Q = ∅ gelten. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 21 / 215
- Seite 1 und 2: Theoretische Informatik 2 Jürgen K
- Seite 3 und 4: Übersicht: Turingmaschinen I 2 3.
- Seite 5 und 6: Übersicht: Unentscheidbare Problem
- Seite 7 und 8: Hintergrund und Motivation Ziele de
- Seite 9 und 10: 3. Turingmaschinen Kapitel 3 Turing
- Seite 11 und 12: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 13 und 14: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 15 und 16: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 17 und 18: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 19: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 23 und 24: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 25 und 26: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 27 und 28: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 29 und 30: 3. Turingmaschinen 3.1 Entscheidbar
- Seite 31 und 32: 3. Turingmaschinen 3.1 Entscheidbar
- Seite 33 und 34: 3. Turingmaschinen 3.2 Die Chomsky-
- Seite 35 und 36: 3. Turingmaschinen 3.2 Die Chomsky-
- Seite 37 und 38: 3. Turingmaschinen 3.3 Abschlußeig
- Seite 39 und 40: 3. Turingmaschinen 3.4 Turing-berec
- Seite 41 und 42: 3. Turingmaschinen 3.4 Turing-berec
- Seite 43 und 44: 3. Turingmaschinen 3.4 Turing-berec
- Seite 45 und 46: 3. Turingmaschinen 3.4 Turing-berec
- Seite 47 und 48: 4. Church-Turing-These Kapitel 4 Di
- Seite 49 und 50: RAM 4. Church-Turing-These 4.1 RAM
- Seite 51 und 52: 4. Church-Turing-These 4.1 RAM Beim
- Seite 53 und 54: 4. Church-Turing-These 4.1 RAM 4.1.
- Seite 55 und 56: 4. Church-Turing-These 4.1 RAM 4.1.
- Seite 57 und 58: 4. Church-Turing-These 4.1 RAM Bewe
- Seite 59 und 60: 4. Church-Turing-These 4.2 Rekursiv
- Seite 61 und 62: 4. Church-Turing-These 4.2 Rekursiv
- Seite 63 und 64: 4. Church-Turing-These 4.2 Rekursiv
- Seite 65 und 66: 4. Church-Turing-These 4.2 Rekursiv
- Seite 67 und 68: 4. Church-Turing-These 4.2 Rekursiv
- Seite 69 und 70: 4. Church-Turing-These 4.2 Rekursiv
3. Turingmaschinen 3.0 Vorüberlegung<br />
Definition<br />
Sprachen, die von einer STM akzeptiert werden, heißen semi-entscheidbar<br />
Satz<br />
Sprachen, die von einer TMeB akzeptiert werden, sind semi-entscheidbar.<br />
Beweis. [falls Σ echte Teilmenge von B − {#} ist]<br />
Ersetzt man das Alphabet Σ einer TMeB M = 〈Q, B, Σ, δ, q 0 , q F 〉 durch<br />
B − {#} , so erhält man eine STM M ′ , die Eingaben aus (B − {#}) ∗<br />
verarbeiten kann. Zur Einschränkung auf Eingaben aus Σ ∗ schalten wir<br />
einen Präprozessor M Σ := 〈{r 0 , r 1 , r F = q 0 }, B, B − {#}, ρ, r 0 , r F 〉 mit<br />
x/L<br />
start<br />
r 0<br />
#/R<br />
x/R<br />
r 1<br />
#/L<br />
r F<br />
wobei x ∈ Σ<br />
davor. Dieser akzeptiert Σ ∗ ⊆ (B − {#}) ∗ und reproduziert <strong>für</strong> Wörter<br />
aus Σ ∗ die Initialkonfiguration. Natürlich muß {r 1 , r 2 } ∩ Q = ∅ gelten.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 21 / 215