- Seite 1: AG Theoretische Grundlagen der KI,
- Seite 5 und 6: Einführung Die theoretische Inform
- Seite 7 und 8: Teil I + II: Automatentheorie und f
- Seite 9 und 10: Organisation der Lehrveranstaltung
- Seite 11 und 12: Grundbegriffe Wörter bezeichnen wi
- Seite 13 und 14: Grundbegriffe Man beachte, dass das
- Seite 15 und 16: Endliche Automaten • nur der Zust
- Seite 17 und 18: Endliche Automaten Beachte: Die Üb
- Seite 19 und 20: Endliche Automaten Von DEAs zu NEAs
- Seite 21 und 22: Endliche Automaten Der NEA aus Beis
- Seite 23 und 24: Endliche Automaten Beispiel 1.13 De
- Seite 25 und 26: Endliche Automaten 1. Fall: p n ∈
- Seite 27 und 28: Nachweis der Nichterkennbarkeit Bew
- Seite 29 und 30: Abschlusseigenschaften und Entschei
- Seite 31 und 32: Abschlusseigenschaften und Entschei
- Seite 33 und 34: Abschlusseigenschaften und Entschei
- Seite 35 und 36: Abschlusseigenschaften und Entschei
- Seite 37 und 38: Reguläre Ausdrücke und Sprachen 4
- Seite 39 und 40: Reguläre Ausdrücke und Sprachen A
- Seite 41 und 42: Minimale DEAs und die Nerode-Rechts
- Seite 43 und 44: Minimale DEAs und die Nerode-Rechts
- Seite 45 und 46: Minimale DEAs und die Nerode-Rechts
- Seite 47 und 48: Minimale DEAs und die Nerode-Rechts
- Seite 49 und 50: Minimale DEAs und die Nerode-Rechts
- Seite 51 und 52: Minimale DEAs und die Nerode-Rechts
- Seite 53 und 54:
Die Chomsky-Hierarchie 6. Die Choms
- Seite 55 und 56:
Die Chomsky-Hierarchie (formaler Be
- Seite 57 und 58:
Die Chomsky-Hierarchie matik die Sp
- Seite 59 und 60:
Rechtslineare Grammatiken und regul
- Seite 61 und 62:
Normalformen und Entscheidungsprobl
- Seite 63 und 64:
Normalformen und Entscheidungsprobl
- Seite 65 und 66:
Normalformen und Entscheidungsprobl
- Seite 67 und 68:
Normalformen und Entscheidungsprobl
- Seite 69 und 70:
Normalformen und Entscheidungsprobl
- Seite 71 und 72:
Abschlusseigenschaften und Pumping
- Seite 73 und 74:
Abschlusseigenschaften und Pumping
- Seite 75 und 76:
Kellerautomaten Anschaulich bedeute
- Seite 77 und 78:
ε/Z 0 /ε Kellerautomaten a/Z 0 /a
- Seite 79 und 80:
Kellerautomaten (q, ε, S, ε, q),
- Seite 81 und 82:
Kellerautomaten Beachte: Für n = 0
- Seite 83 und 84:
Kellerautomaten Beispiel 10.13 Als
- Seite 85 und 86:
Kellerautomaten Auch die Sprache {w
- Seite 87 und 88:
Berechenbarkeit • Entscheidungspr
- Seite 89 und 90:
Turingmaschinen 11. Turingmaschinen
- Seite 91 und 92:
Turingmaschinen • Gilt k ⊢ A k
- Seite 93 und 94:
Turingmaschinen Beachte, dass “st
- Seite 95 und 96:
Turingmaschinen Varianten von Turin
- Seite 97 und 98:
Turingmaschinen b b a a b b b b b a
- Seite 99 und 100:
Turingmaschinen • Auf Band 1 blei
- Seite 101 und 102:
Zusammenhang zwischen Turingmaschin
- Seite 103 und 104:
Zusammenhang zwischen Turingmaschin
- Seite 105 und 106:
Zusammenhang zwischen Turingmaschin
- Seite 107 und 108:
LOOP-Programme und WHILE-Programme
- Seite 109 und 110:
LOOP-Programme und WHILE-Programme
- Seite 111 und 112:
LOOP-Programme und WHILE-Programme
- Seite 113 und 114:
LOOP-Programme und WHILE-Programme
- Seite 115 und 116:
Primitiv rekursive Funktionen und
- Seite 117 und 118:
Primitiv rekursive Funktionen und
- Seite 119 und 120:
Primitiv rekursive Funktionen und
- Seite 121 und 122:
Entscheidbarkeit, Semi-Entscheidbar
- Seite 123 und 124:
Entscheidbarkeit, Semi-Entscheidbar
- Seite 125 und 126:
Universelle Maschinen und unentsche
- Seite 127 und 128:
Universelle Maschinen und unentsche
- Seite 129 und 130:
Universelle Maschinen und unentsche
- Seite 131 und 132:
Universelle Maschinen und unentsche
- Seite 133 und 134:
Universelle Maschinen und unentsche
- Seite 135 und 136:
Weitere unentscheidbare Probleme Be
- Seite 137 und 138:
Weitere unentscheidbare Probleme z.
- Seite 139 und 140:
Weitere unentscheidbare Probleme Zu
- Seite 141 und 142:
Einige Komplexitätsklassen 18. Ein
- Seite 143 und 144:
⊆ ⊆ Einige Komplexitätsklassen
- Seite 145 und 146:
Einige Komplexitätsklassen Beweis.
- Seite 147 und 148:
NP-vollständige Probleme 19. NP-vo
- Seite 149 und 150:
NP-vollständige Probleme 1. w wird
- Seite 151 und 152:
NP-vollständige Probleme Wenn m <
- Seite 153 und 154:
NP-vollständige Probleme 1. Schrit
- Seite 155 und 156:
NP-vollständige Probleme Wir müss
- Seite 157 und 158:
NP-vollständige Probleme Übung: B
- Seite 159 und 160:
V. Appendix A. Laufzeitanalyse von
- Seite 161 und 162:
Laufzeitanalyse von Algorithmen und
- Seite 163 und 164:
Aussagenlogik Wir lassen die Klamme
- Seite 165 und 166:
Aussagenlogik ϕ, ψ und ϑ gilt:
- Seite 167 und 168:
Aussagenlogik Definition B.6 (Erfü
- Seite 169 und 170:
Abkürzungsverzeichnis bzw. .......
- Seite 171 und 172:
Aussagenlogik Σ ..................
- Seite 173 und 174:
Griechische Buchstaben Kleinbuchsta
- Seite 175:
Literaturverzeichnis [Koz06] Dexter