Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2939
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
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.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.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.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 |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
DIP_3332.pdf | 297,58 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.