Download (1405Kb)
Download (1405Kb)
Download (1405Kb)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
190 INDEX<br />
Reduktionsfolge, 23<br />
eventually outermost, 122<br />
Reduktionsregel, 42<br />
Reduktionsrelation<br />
̺-Reduktionsrelation, 23<br />
Reduktionsschritt, 22<br />
Reduktionssemantik, 44<br />
allgemeine ς-Reduktionssemantik, 100<br />
leftmost-innermost, 52<br />
parallel-outermost, 70<br />
parallel-outermost<br />
ς-Reduktionssemantik, 101<br />
Reduktionsstrategie<br />
leftmost-innermost, 51<br />
leftmost-innermost ∗ , 51<br />
leftmost-outermost, 51, 68<br />
normalisierende, 24<br />
parallel-outermost, 68<br />
parallele, 23<br />
sequentielle, 23<br />
Regel, 22<br />
Repräsentant einer Äquivalenzklasse, 15<br />
Residuale Abgeschlossenheit, 29<br />
Residuenabbildung, 26, 31<br />
Residuum, 26<br />
Russels Paradoxon, 9<br />
Schranke<br />
kleinste obere, 11<br />
obere, 11<br />
Selektionssymbol, 41<br />
Semantik<br />
ς-Semantik, 115<br />
semantische Approximation, 99<br />
semantisches ς-Matchen, 76<br />
Semantische Gleichheit zu einer Grundtermsemantik,<br />
46<br />
Sequentialität, 158<br />
Sequentialitätsindex, 158<br />
Signatur, 15<br />
kanonischer Hilfssymbole, 41<br />
Programmsignatur, 38<br />
Sorten, 40<br />
Stability, 166<br />
Stelle, 18<br />
Abhängigkeit, 19<br />
lexikalische Ordnung, 19<br />
Präfixordnung, 18<br />
Unabhängigkeit, 19<br />
Stellen<br />
Menge der in einem Term vorkommenden,<br />
18<br />
Stelligkeit, 15<br />
Striktheit, 12<br />
erzwungene, 74<br />
Substitution, 17<br />
Grundsubstitution, 18<br />
Syntax<br />
abstrakt, 17<br />
abstrakte, 37<br />
syntaktisches ς-Matchen, 99<br />
Teilterm eines Terms an einer Stelle, 18<br />
Term, 17<br />
Einsetzen an einer Stelle, 21<br />
Instanz, 18<br />
Grundinstanz, 18<br />
kartesisches Produkt, 21<br />
linearer, 21<br />
Menge der Stellen eines Symbols, 20<br />
partiell, unendlich, 19<br />
kanonische Halbordnung, 19<br />
Symbol an einer Stelle, 20<br />
Teilterm an einer Stelle, 21<br />
unendlicher<br />
Überabzählbarkeit, 21<br />
unendlicher Term, 19<br />
Unifikation, 18<br />
Termalgebra, 17<br />
Terme<br />
Algebra unendlicher, 19<br />
Termersetzungsregel, 22<br />
Termersetzungssystem, 22<br />
assoziiertes, 42<br />
beinahe orthogonal, 25<br />
Instanz, 25<br />
linkslinear, 25<br />
orthogonal, 25<br />
schwach orthogonal, 25<br />
Termination, 24<br />
Träger, 15, 146<br />
Transformation<br />
ς-Transformation, 77<br />
cbn-, 66