Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata – Adam Fiedler
Adam Fiedler
Bakalářská práce
Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata
Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata
Anotace:
Práca rozširuje NCSB algoritmus na komplementáciu semi-deterministických generalizovaných Büchiho automatov s akceptáciou na hranách (SDTGBA). Podľa našich informácií je toto rozšírenie prvý algoritmus, ktorý dokáže komplementovať SDTGBA bez transformácií vstupného automatu. Dokazujeme korektnosť rozšírenia, analyzujeme jeho zložitosť a navrhujeme niekoľko optimalizácií. Prikladáme tiež implementáciu …víceAbstract:
The thesis presents an extension of the NCSB algorithm to complement the semi-deterministic transition-based generalized Büchi automaton (SDTGBA). To the best of our knowledge, this extension is the first existing algorithm that can complement the SDTGBA without transforming the input automaton. We prove the extension’s correctness, analyze its complexity, and suggest several optimizations. An implementation …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 27. 5. 2019
Identifikátor:
https://is.muni.cz/th/zuank/
Obhajoba závěrečné práce
- Obhajoba proběhla 27. 6. 2019
- Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. RNDr. Mojmír Křetínský, CSc.
Citační záznam
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 informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.