Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ... Handout - Institut für Theoretische Informatik - Technische ...
3. Turingmaschinen 3.4 Turing-berechenbare partielle Funktionen Beispiel ( f (n, m) = n + m : Wähle Σ = Γ = {|} , B = {|, @, #} .) Idee: 2-Band Maschine; Eingabe auf B 1 kopieren, dabei das Trennsymbol @ überspringen. 〈|, #〉/〈#, L〉, 〈|, R〉 〈|, #〉/〈#, L〉, 〈|, R〉 start q 0 〈@, #〉/〈#, L〉, 〈#, N〉 q F Idee: 1-Band Maschine; Trennsymbol @ mit erstem | von rechts überschreiben |/〈|, L〉 |/〈|, R〉 start q 0 |/〈#, L〉 q1 @/〈|, R〉 q F @/〈#, N〉 Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 40 / 215
3. Turingmaschinen 3.4 Turing-berechenbare partielle Funktionen Beispiel ( f (n, m) = n · m : Wähle Σ = Γ = {|} , B = {|, #} .) Wir begnügen uns nun mit einer High-Level-Beschreibung: Idee: 3-Band Maschine; das zweite Argument der Eingabe | n #| m auf B 2 verschieben; für jedes Symbol | auf B 2 das verbliebene Argument | n von B 0 nach B 1 kopieren, von links nach rechts. Bemerkung Die Erfahrungen mit Turing Maschinen und anderen Versuchen aus der ersten Hälfte des 20. Jahrhunderts, den Begriff der “durch einen (terminierenden) Algorithmus berechenbaren Funktion” formal zu fassen, führten zu der Vermutung, daß jede solche (totale) Funktion Turing-berechenbar sein muß. Diese nicht beweisbare Vermutung ist bekannt als Church-Turing These und wird in Kapitel 4 ausführlicher behandelt. Wie üblich stellt sich jetzt die Frage nach Funktionen, die nicht Turing-berechenbar sind. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 41 / 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 und 20: 3. Turingmaschinen 3.0 Vorüberlegu
- Seite 21 und 22: 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: 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
- Seite 71 und 72: 4. Church-Turing-These 4.2 Rekursiv
- Seite 73 und 74: 4. Church-Turing-These 4.2 Rekursiv
- Seite 75 und 76: 4. Church-Turing-These 4.2 Rekursiv
- Seite 77 und 78: 5. Unentscheidbare Probleme Kapitel
- Seite 79 und 80: 5. Unentscheidbare Probleme 5.1 Uni
- Seite 81 und 82: 5. Unentscheidbare Probleme 5.1 Uni
- Seite 83 und 84: 5. Unentscheidbare Probleme 5.1 Uni
- Seite 85 und 86: 5. Unentscheidbare Probleme 5.2 Das
- Seite 87 und 88: 5. Unentscheidbare Probleme 5.2 Das
- Seite 89 und 90: 5. Unentscheidbare Probleme 5.3 Wei
3. Turingmaschinen 3.4 Turing-berechenbare partielle Funktionen<br />
Beispiel ( f (n, m) = n + m : Wähle Σ = Γ = {|} , B = {|, @, #} .)<br />
Idee: 2-Band Maschine; Eingabe auf B 1 kopieren, dabei das Trennsymbol<br />
@ überspringen.<br />
〈|, #〉/〈#, L〉, 〈|, R〉<br />
〈|, #〉/〈#, L〉, 〈|, R〉<br />
start<br />
q 0<br />
〈@, #〉/〈#, L〉, 〈#, N〉<br />
q F<br />
Idee: 1-Band Maschine; Trennsymbol @ mit erstem | von rechts<br />
überschreiben<br />
|/〈|, L〉<br />
|/〈|, R〉<br />
start q 0<br />
|/〈#, L〉 q1<br />
@/〈|, R〉<br />
q F<br />
@/〈#, N〉<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 40 / 215