Automaten, Formale Sprachen und Berechenbarkeit I
Automaten, Formale Sprachen und Berechenbarkeit I
Automaten, Formale Sprachen und Berechenbarkeit I
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
INDEX 155<br />
von <strong>Sprachen</strong>, 4<br />
von Wörtern, 4<br />
kontextfreie Grammatik, siehe Grammatik<br />
kontextfreie Sprache, siehe Sprache<br />
kontextsensitiv,<br />
SEESprache u. Grammatik103<br />
Kopfposition, 110<br />
Kreuzungsfolge, 45<br />
Länge<br />
einer Ableitung, 69<br />
eines Wortes, 4<br />
LBA, 105<br />
lebensfähiger Präfix, 95<br />
leeres Wort, 3<br />
Leerheitsproblem<br />
für kontextfreie <strong>Sprachen</strong>, 87<br />
für reguläre <strong>Sprachen</strong>, 41<br />
Leerworteigenschaft, 29<br />
Leistung<br />
eines <strong>Automaten</strong>, 15<br />
linear beschränkter Automat, 105<br />
Linksableitung, 62<br />
linkslineare Grammatik, siehe Grammatik<br />
Linksquotient, 37<br />
linksrekursiv, 71<br />
LL-Parser, 92<br />
lokale Menge, 43<br />
LR(0)-Parser, 94<br />
LR(0)-Sprache, 94<br />
LR-Parser, 93<br />
Mehrband-TM, siehe Turing-Maschine<br />
mehrdeutig, siehe Grammatik<br />
Mehrspur-TM, siehe Turing-Maschine<br />
Minimalautomat, 34<br />
monoton, siehe Grammatik<br />
µ-Operator, 146<br />
µ-Rekursion, 146<br />
Myhill-Nerode<br />
Satz von, 33<br />
Nachfolgekonfiguration<br />
einer Turing-Maschine, 110<br />
eines Kellerautomaten, 78<br />
eines Zweiwegautomaten, 44<br />
nicht-triviale Eigenschaft, 130<br />
Nonterminal, 8<br />
Normalform, 63<br />
Chomsky-, 68<br />
Greibach-, 69, 74<br />
NTM, 113<br />
nullierbar, 66<br />
nützlich, 63<br />
nutzlos, 63<br />
Obermengenbeziehung, 7<br />
Ogden’s Lemma, 84<br />
partiell-rekursiv, 138<br />
Potenzautomat, 21<br />
Präfix, 4<br />
primitive Rekursion, 145<br />
Problem, 41, 113<br />
Probleminstanz, 113<br />
Produktion, 8<br />
produktiv, 63<br />
Pumping-Lemma<br />
für kontextfreie <strong>Sprachen</strong>, 83<br />
für reguläre <strong>Sprachen</strong>, 32<br />
Quotient, 37<br />
RAM, 139<br />
Rand<br />
eines Baumes, 57<br />
Rechenregeln<br />
für reguläre Ausdrücke, 30<br />
Rechtsableitung, 62<br />
rechtslineare Grammatik, siehe Grammatik<br />
Rechtsquotient, 37<br />
rechtsrekursiv, 71<br />
Rechtssatzform, 95<br />
Reduktion, 129<br />
reflexiv, 4<br />
Regel<br />
einer Grammatik, 8<br />
Registermaschine, 139<br />
registermaschinenberechenbar, 139<br />
reguläre Grammatik, siehe Grammatik<br />
reguläre Operation, 24<br />
reguläre Sprache, siehe Sprache