Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
fair, 124<br />
fehlschlagend, 123<br />
transitiv, 20<br />
transitiv-reflexive Hülle, 20<br />
transitive Hülle, 20<br />
Typ, 8<br />
Typinferenz, 82<br />
Überlappung, 98<br />
unentscheidbar, 58<br />
Unifikation, 82, 98<br />
Unifikationsalgorithmus, 86<br />
Unifikationsproblem, 82<br />
Unifikationssatz, 88<br />
Unifikator, 82<br />
Variable, 8<br />
Variablenbelegung, 11<br />
Variablenumbenennung, 83<br />
Vervollständigung, 6, 50, 108<br />
gr<strong>und</strong>legender Algorithmus, 111<br />
Korrektheit, 123, 124<br />
Transformationsregeln, 118<br />
Wortersetzungsssystem, 38<br />
Wortproblem, 6, 13, 49, 108<br />
zusammenführbar, 45
Change language