Bc. David Dokoupil

Bachelor's thesis

Simple Complementation of Generalized Büchi Automata

Simple Complementation of Generalized Büchi Automata
Anotácia:
Hlavným predmetom tejto práce je rožšírenie existujúcej komplementačnej konštrukcie pre Büchiho automaty s akceptáciou na hranách. Prezentované rožšírenie sa nazýva Simple and General, alebo SaG skrátene. Rožširenie je založené na transformácií pôvodnej konštrukcie s účelom komplementovať Büchiho automaty s akceptáciou na hranách. Následne, je transformácia upravená aby umožnila komplementáciu generalizovaných …viac
Abstract:
The main focus of this thesis is an extension of an existing complementation construction for state-based Büchi automata. The presented extension is called Simple and General, or SaG for short. The extension is based on transforming the original construction to work with transition-based Büchi automata. The transformation is then modified further to allow the complementation of transition-based generalized …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 18. 5. 2023

Obhajoba závěrečné práce

  • Obhajoba proběhla 27. 6. 2023
  • Vedúci: prof. RNDr. Jan Strejček, Ph.D.
  • Oponent: Ondřej Lengál

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