Iterierte Substitutionen bei regulären Baumsprachen

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.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.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.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

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1