Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-41431
Titel: A specialized completion procedure for monadic string-rewriting systems presenting groups
VerfasserIn: Madlener, Klaus
Narendran, Paliath
Friedrich, Otto
Sprache: Englisch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Based on a simplified test for determining whether a finite monadic string-rewriting system R presenting a group is confluent on the equivalence class of the unity, a procedure for completing a system of this form on [e]R is derived. The completion procedure transforms monadic presentations in monadic ones by adding monadic rules which are extracted from appropriate infinite regular sets in polynomial time. The correctness and completeness of this procedure are shown.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-414314
hdl:20.500.11880/37738
http://dx.doi.org/10.22028/D291-41431
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 90,24
Datum des Eintrags: 29-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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.