Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...

LPO, 69
Matcher, 15
Matching, 15, 21
Matchingalgorithmus, 89
mgu, 83
Modell, 11
monoton, 18, 62
Multimenge, 75
Multimengenpfadordnung, 78
Multimengenrelation, 76
Newman, 90
NF, 132
nicht-überlappend, 101
Noethersche Induktion, 56
Normalform, 43, 47
normalisierend, 43
eindeutig, 43, 47
Occur Check, 86
Occur Failure, 86
Ordnung, 64
orthogonal, 102
Peano-Induktion, 55
Persistente Gleichung, 122
Persistente Regel, 122
plus, 4, 10, 37, 70, 108, 129
Polynomordnung, 80
Position, 17
Prädikatenlogik, 8
Präzedenz, 69
Programmanalyse, 3
Programmspezifikation, 3
Programmverifikation, 3, 28, 54, 130
Redex, 37
Reduktionsordnung, 64
Reduktionsrelation, 64
Reduktionssystem, 20
reflexiv, 20
reflexive Hülle, 20
Regel, 36
rekursiv aufzählbar, 26
rekursive Pfadordnung, 78
mit Status, 79, 110
RPO, 78
RPOS, 79, 110
Satz von Birkhoff, 23
Satz von Kruskal, 66
Semantik, 10
semi-entscheidbar, 26, 51, 58, 115
Semi-Thue System, 38
Signatur, 8
Simplifikationsordnung, 66
Sorte, 8
Spezifikation, 3
stabil, 15, 62
Starke Konfluenz, 102
Status, 74, 79
Stelle, 17
parallele, 104
unterhalb, 18
voneinander unabhängig, 18
String rewriting system, 38
Substitution, 15
symmetrisch, 20
symmetrische Hülle, 20
Syntax, 8
Teilterm, 9
an einer Stelle, 17
direkter, 9
echter, 9, 42
Teiltermersetzung, 18
Teiltermmenge, 31
Term, 8
Term rewriting system, 37
Termersetzungssystem, 37
Anwendung, 3
kanonisch, 48
konvergent, 48
unendlich, 115
Termgleichung, 9
Termgleichungssystem, 9
Terminierung, 5, 40, 43, 54
TES ohne Variablen rechts, 58
TES, 37
Träger, 11
Transformationsfolge
erfolgreich, 123