Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2452
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.advisor | Diekert, Volker (Prof. Dr.) | de |
dc.contributor.author | Hagenah, Christian | de |
dc.date.accessioned | 2000-08-29 | de |
dc.date.accessioned | 2016-03-31T07:58:13Z | - |
dc.date.available | 2000-08-29 | de |
dc.date.available | 2016-03-31T07:58:13Z | - |
dc.date.issued | 2000 | de |
dc.identifier.other | 087333104 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-6732 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2469 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2452 | - |
dc.description.abstract | Wir beweisen, daß das Erfüllbarkeitsproblem für Gleichungen mit regulären Randbedingungen über freien Gruppen PSPACE-vollständig ist. Wir zeigen auch, daß eine minimale Lösung einer solchen Gleichung höchstens eine doppelt exponentielle Länge hat und in 2-DEXPTIME berechnet werden kann. Wir reduzieren zuerst das Problem Gleichungen mit regulären Randbedingungen über einer freien Gruppen zu lösen auf das Problem Gleichungen mit regulären Randbedingungen über freien Monoiden mit einer Anti-Involution zu lösen. Anschließend stellen wir einen Algorithmus vor, der in PSPACE entscheidet, ob diese Gleichungen lösbar sind und einen Algorithmus, der in 2-DEXPTIME eine Lösung berechnet, wenn die Gleichung lösbar ist. | de |
dc.description.abstract | We prove that the satisfiability problem for equations with regular constraints over free groups is PSPACE-complete. We also show that a minimal solution of such an equation has at most a double exponential length and can be computed in 2-DEXPTIME. We first reduce the problem to solve equations with regular constraints over free groups to the problem to solve equations with regular constraints over monoids with an anti-involution. Then we present an algorithm that decides in PSPACE whether these equations are solvable and an algorithm that computes a solution in 2-DEXPTIME if the equation in solvable. | en |
dc.language.iso | de | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Freie Gruppe , Freie Halbgruppe , Gleichung , Gleichungssystem , Theorie erster Ordnung | de |
dc.subject.ddc | 004 | de |
dc.subject.other | Free Group , Free Monoid , Equation , First Order Theory | en |
dc.title | Gleichungen mit regulären Randbedingungen über freien Gruppen | de |
dc.title.alternative | Equations with regular constraints over free groups | en |
dc.type | doctoralThesis | de |
dc.date.updated | 2013-02-11 | de |
ubs.dateAccepted | 2000-06-15 | de |
ubs.fakultaet | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.opusid | 673 | de |
ubs.publikation.typ | Dissertation | de |
ubs.thesis.grantor | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
dissertation.pdf | 684,58 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.