Zpět na vyhledávání

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 …viac
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 …viac
 

Keywords

omega-language SDTGBA complementation semi-determinism SPOT
 
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

Citovat tuto práci

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
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics

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

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.