Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern

dc.contributor.author	Göggelmann, Manuel
dc.date.accessioned	2018-08-31T12:58:19Z
dc.date.available	2018-08-31T12:58:19Z
dc.date.issued	2015	de
dc.description.abstract	Das Separierbarkeitsproblem befasst sich mit der Frage, gegeben zwei Mengen aus einer Klasse, ob es möglich ist, sie durch eine weitere Menge aus einer kleineren Klasse zu separieren. Für den Fall der Separierbarkeit von regulären Sprachen durch eine piecewise testable Sprache über unendlichen Wörtern wird in dieser Arbeit ein Entscheidungsalgorithmus mit polynomialer Laufzeit vorgestellt. Der Beweis orientiert sich an einer Arbeit über den entsprechenden Fall der Separierbarkeit über endlichen Wörtern von L. van Rooijen und M. Zeitoun.	de
dc.identifier.other	510780091
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-100139	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/10013
dc.identifier.uri	http://dx.doi.org/10.18419/opus-9996
dc.language.iso	de	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.ddc	004	de
dc.title	Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern	de
dc.type	bachelorThesis	de
ubs.fakultaet	Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Formale Methoden der Informatik	de
ubs.publikation.seiten	31	de
ubs.publikation.typ	Abschlussarbeit (Bachelor)	de

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1