Die Holonomie-Zerlegung von Automaten

dc.contributor.author	Seybold, Martin P.	de
dc.date.accessioned	2012-11-26	de
dc.date.accessioned	2016-03-31T07:59:54Z
dc.date.available	2012-11-26	de
dc.date.available	2016-03-31T07:59:54Z
dc.date.issued	2012	de
dc.description.abstract	Diese Diplomarbeit beschäftigt sich mit einer intuitiven, aber trotzdem möglichst kompakten Darstellung der Holonomie-Zerlegung von Automaten, die ausschließlich elementare Mittel nutzt. Durch die Formulierung des Problems als Graph konnten bisherige Beweise vereinfacht werden, sodass nur noch Überdeckungen, statt relationalen Überdeckungen, benötigt werden. Neu ist, dass der hier gegebene Beweis sogar konstruktiv statt induktiv ist. Die graphentheoretische Formulierung ermöglicht eine einfache Abschätzung der Faktorzahl einer vollständigen, sogenannten Krohn-Rhodes-Zerlegung.	de
dc.identifier.other	376073233	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-79356	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/2956
dc.identifier.uri	http://dx.doi.org/10.18419/opus-2939
dc.language.iso	de	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.ddc	004	de
dc.title	Die Holonomie-Zerlegung von Automaten	de
dc.title.alternative	The holonomy decomposition of automata	en
dc.type	masterThesis	de
ubs.fakultaet	Fakultät Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Formale Methoden der Informatik	de
ubs.opusid	7935	de
ubs.publikation.typ	Abschlussarbeit (Diplom)	de

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1