Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ... Handout - Institut für Theoretische Informatik - Technische ...
3. Turingmaschinen 3.2 Die Chomsky-Hierarchie formaler Sprachen 3.2 Die Chomsky-Hierarchie formaler Sprachen Nicht alle Sprachen sind semi-entscheidbar: im Vorgriff auf Kapitel 5 stellen wir fest, daß jede TM M über Σ = {0, 1} sich durch ein Binärwort c(M) codieren läßt. Damit ist die Menge der möglichen Turingmaschinen über {0, 1} abzählbar (vergl. Anhang zum Script für TheoInf 1), also auch die Menge der semi-entscheidbaren Sprachen über {0, 1} . (Die Einschränkung auf das Alphabet {0, 1} ist unerheblich.) Andererseits ist die Potenzmenge P(Σ ∗ ) überabzählbar. Es muß also Sprachen über {0, 1} geben, die nicht semi-entscheidbar sind. Konkret gilt dies etwa für L code := { w ∈ {0, 1} ∗ : w = c(M) für eine TM M mit w /∈ L(M) } L code besteht also aus den Binärcodes aller TM’n, die ihr eigenes Codewort nicht akzeptieren. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 32 / 215
3. Turingmaschinen 3.2 Die Chomsky-Hierarchie formaler Sprachen Satz L code ist nicht semi-entscheidbar. Beweis. Wenn eine TM M mit L(M) = L code existiert, erfüllt w = c(M) die Bedingung w ∈ L(M) = L code gdw. w /∈ L(M) = L code , Widerspruch. Die Trennung der entscheidbaren von den semi-entscheidbaren Sprachen erfolgt in Kapitel 5 mit Hilfe der Sprache L halt := { c(M)w : M TM, die bei Eingabe w hält } die semi-entscheidbar aber nicht entscheidbar ist (Halteproblem). Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 33 / 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: 3. Turingmaschinen 3.1 Entscheidbar
- 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
- 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
3. Turingmaschinen 3.2 Die Chomsky-Hierarchie formaler Sprachen<br />
Satz<br />
L code<br />
ist nicht semi-entscheidbar.<br />
Beweis.<br />
Wenn eine TM M mit L(M) = L code<br />
existiert, erfüllt w = c(M) die<br />
Bedingung w ∈ L(M) = L code<br />
gdw. w /∈ L(M) = L code<br />
, Widerspruch.<br />
Die Trennung der entscheidbaren von den semi-entscheidbaren Sprachen<br />
erfolgt in Kapitel 5 mit Hilfe der Sprache<br />
L halt<br />
:= { c(M)w : M TM, die bei Eingabe w hält }<br />
die semi-entscheidbar aber nicht entscheidbar ist (Halteproblem).<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 33 / 215