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ößeFormat 
SEKI-REPORT-SR-86-07_Schmidt_Schauß_Unification-Properties-of-Idempotent-Semigroups.pdf6,99 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.