Automaten, Formale Sprachen und Berechenbarkeit I

156 INDEX
regulärer Ausdruck, 24–31
rekursiv, 115
rekursiv-aufzählbar, 115
Relation, 4
Rice
1. Satz von, 130
R L , 33
Satz, 9
Satzform, 9
Schlüssel, 94
semi-entscheidbar, 114
Spiegelsprache, 37
Spiegelwort, 37
Sprache, 4
aufzählbare, 103
inhärent mehrdeutige, 61
kontextfreie, 55
kontextsensitive, 103
lineare, 49
LR(0)-, 94
reguläre, 24
Typ-3, 49
Urbild, 36
Spracheigenschaft, 130
Startkonfiguration
einer Turing-Maschine, 111
eines Kellerautomaten, 78
Startsymbol, 8
Startvariable, 8
Startzustand, 14
eines Kellerautomaten, 76
Strukturierte Programmierung, 143
Substitution, 36
Suffix, 4
Symbol, 3
symmetrisch, 4
Syntaxbaum, 56
Teilmengenbeziehung, 6
Terminalalphabet, 8
Terminalsymbol, 8
TM, siehe Turing-Maschine
Top-down-Parser, 92
total-rekursiv, 138
transitiv, 4
transitiv-reflexive Hülle, 5
transitive Hülle, 5
triviale Eigenschaft, 130
Turing-Berechenbarkeit, 109, 137
Turing-Maschine, 109, 110
beschränkte Simulation einer, 119
deterministische, 112
linear beschränkte, 105
Mehrband-, 117
mehrdimensionale, 123
Mehrspur-, 117
mit einseitig beschränktem Band, 121
nicht-deterministische, 112
Repräsentation einer, 126
Standardkonstruktionen, 115
universelle, 133
Varianten, 121
zweidimensionale, 123
überabzählbar, 5
Übergangsfunktion
eines endlichen Automaten, 17
eines Zweiwegautomaten, 44
Übergangsrelation
eines endlichen Automaten, 14
eines Kellerautomaten, 76
universelle TM, siehe Turing-Machine
Urbild, 36
uvw-Theorem, 32
uvwxy-Theorem, 83
Variable
einer Grammatik, 8
Vorausschau, 92
WHILE-berechenbar, 143
WHILE-Programm, 143
Wort (pl. Wörter), 3
Wortproblem, 127
für Turing-Maschinen, 126
für kontextfreie Sprachen, 88
für reguläre Sprachen, 41
x-Baum, 57
Zeichen, 3
Zeichenreihe, 3