Next:
Kuroda Normalform 79
Up:
Formelsammlung theoretische Informatik I
Previous:
Entscheidbarkeit 78
Contents
Index
Kontextsensitive Sprachen (Typ 1) und Typ 0 Sprachen
79
Subsections
Kuroda Normalform
79
Turingmaschine
81
Definition
81
Linear Beschränkte Turingmaschinen
84
Umwandlung TM in Grammatik und umgekehrt
84
Abschlusseigenschaften
86
Marco Möller
18:11:27 24.10.2005