Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40150
Titel: | Comparison of Simplification Orderings |
VerfasserIn: | Steinbach, Joachim |
Sprache: | Englisch |
Erscheinungsjahr: | 1988 |
Erscheinungsort: | Kaiserslautern |
Freie Schlagwörter: | Termination Simplification orderings Recursive path ordering Recursive decomposition ordering Path of subterms ordering Knuth-Bendix ordering |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Termination is an important property of term rewriting systems. Simplification orderings are often used methods which guarantee termination. We describe the basic ideas of comparing terms and present the formal definitions and some examples of the most popular simplification orderings. A new definition of one of them is given which is simpler than the original and therefore better to handle. Furthermore, we complete the comparison found in the literature, i. e. we mark off the power (the sets of comparable terms) of the orderings. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-401508 hdl:20.500.11880/36227 http://dx.doi.org/10.22028/D291-40150 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 88,2 |
Datum des Eintrags: | 11-Aug-2023 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-88-02_Steinbach_Comparison-of-Simplification-Orderings.pdf | 1,6 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.