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íce
Abstract:
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

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 informatiky

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

Práce na příbuzné téma

  • Žádné práce na příbuzné téma.