Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40796
Titel: | Computing Presentations for Subgroups of Polycyclic Groups and of Context-Free Groups |
VerfasserIn: | Kuhn, Norbert Madlener, Klaus Otto, Friedrich |
Sprache: | Englisch |
Erscheinungsjahr: | 1992 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Finitely generated context-free groups can be presented by finite, monadic, and λ-confluent string-rewriting systems. Due to their nice algorithmic properties these systems provide a way to effectively solve many decision problems for context-free groups. Since finitely generated subgroups of context-free groups are again context-free, they can be presented in the same way. Here we describe a process that, from a finite, monadic, and λ-confluent string-rewriting system presenting a context-free group G and a finite subset U of G, determines a presentation of this form for the subgroup 〈U〉 of G that is generated by U. For finitely presented polycyclic groups we obtain an analogous result, when we use finite confluent PCP2-presentations to describe these groups. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-407964 hdl:20.500.11880/37690 http://dx.doi.org/10.22028/D291-40796 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 92,7 |
Datum des Eintrags: | 23-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-92-07_Kuhn-Madlener-Otto_Computing-Presentations-for-Subgroups-of-Polycyclic-Groups-and-of-Context=Free-Groups.pdf | 2,25 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.