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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.