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 Definition Die sog. Busy Beaver Funktion N β N bildet n ∈ N ab auf die größte Zahl β(n) nichtleerer Felder, die eine 1-Band dTM über {|} , deren Kopf schreiben und sich bewegen darf und die über n Nicht-Haltezustände und einen Haltezustand verfügt, ausgehend vom leeren Band auf diesem hinterlassen kann, wenn sie hält. Achtung: Nach dem Halt der Maschine dürfen zwischen den Strichen | Lücken auftreten. Damit kann sich die größte unär codierte Zahl k , die nach dem Halt auf dem Band steht, durchaus von β(n) unterscheiden. Beispiel ( β(0) = 0 und β(1) = 1 ) #/〈|, N〉 start q F , start q 0 |/〈|, L〉 q F Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 42 / 215
3. Turingmaschinen 3.4 Turing-berechenbare partielle Funktionen Beispiel ( β(2) = 4 ) 〈q 0 , #〉 ⊢ 〈q 1 , | #〉 #/〈|, R〉 ⊢ 〈q 0 , | | 〉 start q 0 #/〈|, L〉 q1 |/〈|, R〉 q F ⊢ 〈q 1 , # | | 〉 ⊢ 〈q 0 , # | | | 〉 ⊢ 〈q 1 , | | | | 〉 |/〈|, L〉 ⊢ 〈q F , | | | | 〉 Bei Wikipedia findet man diverses Hintergrundmaterial zum Thema Busy Beaver (dort heißt die Funktion Σ ), einschließlich einiger Schranken für die Werte β(6) und β(10) . Weiterhin sei auf die Seite von Heiner Marxen verwiesen, der zeitnah über aktuelle Busy Beaver Rekorde buchführt. Es ist zu empfehlen, den Wert β(3) selbständig nachzurechnen, ohne obige Quellen zu konsultieren. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 43 / 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 und 40: 3. Turingmaschinen 3.4 Turing-berec
- Seite 41: 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
- Seite 91 und 92: 5. Unentscheidbare Probleme 5.3 Wei
3. Turingmaschinen 3.4 Turing-berechenbare partielle Funktionen<br />
Definition<br />
Die sog. Busy Beaver Funktion N β N bildet n ∈ N ab auf<br />
die größte Zahl β(n) nichtleerer Felder, die eine 1-Band dTM<br />
über {|} , deren Kopf schreiben und sich bewegen darf und die<br />
über n Nicht-Haltezustände und einen Haltezustand verfügt,<br />
ausgehend vom leeren Band auf diesem hinterlassen kann, wenn<br />
sie hält.<br />
Achtung: Nach dem Halt der Maschine dürfen zwischen den Strichen |<br />
Lücken auftreten. Damit kann sich die größte unär codierte Zahl k , die<br />
nach dem Halt auf dem Band steht, durchaus von β(n) unterscheiden.<br />
Beispiel ( β(0) = 0 und β(1) = 1 )<br />
#/〈|, N〉<br />
start q F , start q 0<br />
|/〈|, L〉<br />
q F<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 42 / 215