Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39779
Titel: | Unification Properties of Idempotent Semigroups |
VerfasserIn: | Schmidt-Schauß, Manfred |
Sprache: | Englisch |
Erscheinungsjahr: | 1986 |
Erscheinungsort: | Kaiserslautern |
Freie Schlagwörter: | Unification Equational Theories Idempotent Semigroups Rewriting systems |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Unification in free idempotent semigroups is of unification type zero, i.e. there are unifiable terms s,t but there is no minimal, complete set of unifiers for these two terms. Unification in free idempotent semigroups is strongly complete, i.e. the unification problem <x =AI t> is always solvable with unifier [x <— t], even if x occurs in t. We give a generalization of the usual unification hierarchy and demonstrate that the number of independent unifiers in A+1-unifier sets is not bounded. It is known that there is a conditional, canonical term rewriting system for idempotent semigroups. To strengthen this result, we show that there can be no unconditioned and finite rewriting system. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-397794 hdl:20.500.11880/36024 http://dx.doi.org/10.22028/D291-39779 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 86,7 |
Datum des Eintrags: | 22-Jun-2023 |
Bemerkung/Hinweis: | In der GND existiert kein Normdatensatz für die Person, die sie eindeutig als solche identifiziert. Alternative oder damit in Verbindung stehende Schreibweise(n): Schmidt-Schauss, Manfred. |
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-86-07_Schmidt_Schauß_Unification-Properties-of-Idempotent-Semigroups.pdf | 6,99 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.