Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata – Adam Fiedler
Adam Fiedler
Bachelor's thesis
Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata
Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
- Žádné práce na příbuzné téma.