Iterierte Substitutionen bei regulären Baumsprachen

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-12684

Langanzeige der Metadaten

DC Element	Wert	Sprache
dc.contributor.author	Gaißert, Marcial	-
dc.date.accessioned	2023-01-30T08:27:50Z	-
dc.date.available	2023-01-30T08:27:50Z	-
dc.date.issued	2022	de
dc.identifier.other	1832828700	-
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-127036	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/12703	-
dc.identifier.uri	http://dx.doi.org/10.18419/opus-12684	-
dc.description.abstract	Wir zeigen, dass das Beschränktheitsproblem für eine Verallgemeinerung der automata with coloring nach Bala bzw. desert automata nach Kirsten mit mehreren priorisierten Zählern und auf Bäumen in PSPACE ist. Dieses Ergebnis nutzen wir, um zu zeigen, dass in doppelt exponentieller Zeit auf einer nichtdeterministischen Turingmaschine entschieden werden kann, ob eine endliche lineare Substitution σ mit σ(L)=R für gegebene reguläre Baumsprachen L und R existiert.	de
dc.language.iso	de	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.ddc	004	de
dc.title	Iterierte Substitutionen bei regulären Baumsprachen	de
dc.type	masterThesis	de
ubs.fakultaet	Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Formale Methoden der Informatik	de
ubs.publikation.seiten	37	de
ubs.publikation.typ	Abschlussarbeit (Master)	de
Enthalten in den Sammlungen:	05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:

Datei	Beschreibung	Größe	Format
MA_Gaißert_MA.pdf		874,75 kB	Adobe PDF	Öffnen/Anzeigen

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart