Complementation of TBA Based on Semi-Determinization – Bc. Mikuláš Klokočka
Bc. Mikuláš Klokočka
Diplomová práce
Complementation of TBA Based on Semi-Determinization
Complementation of TBA Based on Semi-Determinization
Anotace:
Tato diplomová práce se věnuje tématu komplementace Büchiho automatů. V první řadě ukazuje již existující metody komplementace. Práce poté definuje nový algoritmus pro komplementaci nazvaný PBS. Dále uvadí řadu optimalizací tohoto algoritmu. Součástí této práce je taktéž jeho implementace. PBS je porovnáno s několika moderními nástroji pro komplementaci. Výsledky tohoto porovnání svědčí o tom, že je …víceAbstract:
This thesis deals with the topic of complementation of Büchi automata. First, it shows a brief overview of the existing methods for complementation. Then it defines a new algorithm for complementation called PBS. It also covers a number of optimizations for this algorithm. Part of this thesis is also the implementation of PBS. PBS was compared to state-of-the-art tools for complementation. The results …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 20. 5. 2019
Identifikátor:
https://is.muni.cz/th/y3sx3/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2019
- Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: RNDr. Vojtěch Řehák, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Teoretická informatika
Práce na příbuzné téma
-
Transformation of Nondeterministic Büchi Automata to Slim Automata
Pavel Šimovec -
Transformation of Nondeterministic Büchi Automata to Tight Automata
Marek Jankola -
Translation of LTL to Semi-Deterministic Automata via Alternating Automata
Michal Románek -
Simple Complementation of Generalized Büchi Automata
David Dokoupil -
Web Editor of Finite Automata
Patrícia Salajová -
Counter Automata for MTL over Untimed Words
Tereza Kinská -
Complementation of Nondeterministic Finite Automata Without Determinization
Adéla Štěpková