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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-90-24_Madlener-Narendran-Otto_A-specialized-completion-procedure-for-monadic-string=rewriting-systems-presenting-groups.pdf | 1,32 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.