Index
A
- Abbildung 11
- ableitbar 15
- Ableitung 16
- abzählbar unendlich 12
- akzeptiert 19
- akzeptierte
Sprache 19
- allgemeine Halteproblem 37
- allgemeine Regelgrammatik 15
- Alphabet 14
- ambig 23
- antisymmetrisch 9
- antitransitiv 9
Ä
- Äquivalenzklassen 10
- Äquivalenzrelation 10
A
- Argumentbereich 9
- asymmetrisch 9
- Aussageform 4
- Aussagen 4
B
- Basis 5
- Baum 13
- Berechenbarkeit 14
- bijektiv 11
- Blätter 13
C
- charakteristische Funktion 35
D
- Definitionsbereich 9
- deterministischer endlicher Automat 19
- direkt ableitbar 15
E
- echte Teilmenge 6
- Eingabealphabet 19
- endlich 12
- Endzustand 19
- entscheidbar 35
- Entscheidbarkeit 14
- erzeugte Sprache 15
F
- Formale Sprache 14
- Funktion 11
G
H
- halbe charakteristische Funktion 35
I
- Induktionsbeweis 12
- injektiv 11
- intransitiv 9
- Invarianten 17
- inverse Relation 10
- irreflexiv 9
<
J
K
- Kanten 13
- Kardinalität 12
- Kartesisches Produkt 7
- Kellerautomat 25
- Knoten 13
- Komplement 10
- Konkatenation 14
- konstruktiv 18
- kontextfrei 23
- kontextsensitiv 31
- Kuroda-Normalform 31
L
- Länge 14
- längenmonoton 31
- leeres Wort 14
- linear beschränkt 34
- Linksableitung 23
M
N
P
- Parse 16
- partielle Funktion 11
- Pfad 13
- Potenz 14
- Potenzmenge 7
Q
R
- rechtslinear 18
- reflexiv 9
- reflexive Hülle 10
- Regeln 5
- regulärer Ausdruck 17
- reguläre Sprache 17
- rekursiv 5
- rekursiv aufzählbar 35
- Relation 9
S
- Schein 1
- schwach äquivalent 24
- Selbstanwendungsproblem 5
- semi-entscheidbar 35
- set comprehension 5
- spezielle Halteproblem 37
- Startsymbol 15
- Sternbildung 14
- surjektiv 11
- Symmetrieargumente 8
- symmetrisch 9
T
- Teilmenge 6
- Terminalsymbolen 15
- Transducer 21
- transitiv 9
- transitive Hülle 10
- Tupel 7
- Turing-berechenbar 35
- Turingmaschine 32
Ü
- überabzählbar unendlich 12
- Übergangsfunktion 19
U
V
W
- Wertebereich 9
- Wort 14
- Wortproblem 14
Z
- Zeichen 14
- Zustandsalphabet 19
- Zyklus 13