Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40428
Titel: | Vade-mecum of Polynomial Orderings |
VerfasserIn: | Steinbach, Joachim Zehnter, Michael |
Sprache: | Englisch |
Erscheinungsjahr: | 1990 |
Erscheinungsort: | Kaiserslautern |
Freie Schlagwörter: | E-compatible E-termination Homeomorphic embedding Interpretation Knuth-Bendix ordering Lexicographical ordering Monomial Multiset ordering Path and decomposition orderings Polynomial Simplification ordering Status Termination Term rewriting system Well-founded ordering |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Orderings on polynomial interpretations of operators represent a powerful technique for proving the termination of rewrite systems. We discuss most of the well-known features concerning this method including heuristics for the generation of adequate interpretations orienting a given system, strategies for deciding the positiveness of a polynomial, restricted interpretations to guarantee E-termination and some improvements [such as the Cartesian product of polynomials]. This report is a detailed source of examples that illustrate the uncertainties of polynomial orderings. Furthermore, we develop new aspects involving two approaches that are suitable to simple implementations, a few suggestions for producing adequate interpretations [e.g., a technique for automatically generating linear polynomials], some new orderings handling underlying theories, a new improved version of polynomial orderings [based on the Knuth-Bendix ordering with status] as well as a detailed comparison of the various approaches together with path and decomposition orderings. Thus, the report in hand is a kind of vade-mecum of most of the known as well as new results concerned with polynomial orderings. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-404289 hdl:20.500.11880/37646 http://dx.doi.org/10.22028/D291-40428 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 90,3 |
Datum des Eintrags: | 16-Mai-2024 |
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-90-03_Steinbach-Zehnter_Vade=mecum-of-Polynomial-Orderings.pdf | 89,85 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.