Download (1405Kb)
Download (1405Kb)
Download (1405Kb)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
INDEX 189<br />
Redexstelle, 51<br />
Reduktion, 51<br />
Reduktionssemantik, 52<br />
Reduktionsstrategie, 51<br />
leftmost-outermost<br />
Redexstelle, 68<br />
Reduktion, 68<br />
Reduktionsstrategie, 68<br />
lexikalische Ordnung von Stellen, 19<br />
li, siehe leftmost-innermost<br />
linearer Term, 21<br />
Matchen<br />
semantisches ς-Matchen, 76<br />
syntaktisches ς-Matchen, 99<br />
Mengentheorie, 9<br />
Modell, 133<br />
initiales eines Programms, 134<br />
Normalformmodell, 134<br />
partielles, 147<br />
monoton, 11<br />
Morphismus, 16<br />
ω-Morphismus, 16<br />
nicht-freier Datentyp, 170<br />
non-gaining<br />
ς-Redexstelle, 132<br />
Normalform, 23<br />
Normalformmodell, 134<br />
Normalformsemantik, 45<br />
normalisierende Reduktionsstrategie, 24<br />
obere Schranke, 11<br />
Operation, 15<br />
abgeleitete, 93<br />
partielle, 145<br />
Operationssymbol, 15<br />
Outer-Eigenschaft, 34<br />
outermost<br />
Redex, 51<br />
Redexstelle, 68<br />
parallel-outermost<br />
Reduktion, 68<br />
Reduktionssemantik, 70<br />
Reduktionsstrategie, 68<br />
partielle Algebra, 146<br />
Klasse aller, 146<br />
partielle cbv-Interpretation, 147<br />
partielle Operation, 145<br />
partieller cbv-Datentyp, 148<br />
partielles cbv-Interpretationsmodell, 148<br />
partielles Modell, 147<br />
po, siehe parallel-outermost<br />
Präfixordnung von Stellen, 18<br />
Programm<br />
mit Hilfsfunktionen, 41<br />
mit Pattern, 38<br />
Programmregel<br />
mit Hilfsfunktionen, 41<br />
mit Pattern, 38<br />
Programmsignatur, 38<br />
mit Hilfssymbolen, 41<br />
Quotientenalgebra, 15<br />
Quotientenmenge, 15<br />
Quotientenmodell, 134<br />
Rechenbereich, 44, 65, 75<br />
Redex, 22<br />
ς-Redex, 100<br />
innermost, 51<br />
leftmost, 51<br />
outermost, 51<br />
Redexschema, 22<br />
Redexstelle, 22<br />
gaining ς-Redexstelle, 132<br />
innermost, 51<br />
leftmost-innermost, 51<br />
leftmost-outermost, 68<br />
non-gaining ς-Redexstelle, 132<br />
non-outermost I-Redexstellen, 101<br />
outermost, 68<br />
outermost I-Redexstelle, 101<br />
Reduktion<br />
I-Reduktion, 26<br />
̺-Reduktion, 23<br />
elementare, einfache, 22<br />
elementare,parallele, 23<br />
korrekt in der ς-Fixpunktsemantik, 98<br />
leftmost-innermost, 51<br />
leftmost-outermost, 68<br />
non-outermost I-Reduktion, 101<br />
outermost I-Reduktion, 101<br />
parallel-outermost, 68<br />
parallel-outermost (po-) I-Reduktion, 101