Zpět na vyhledávání

Bc. David Dokoupil

Bachelor's thesis

Simple Complementation of Generalized Büchi Automata

Simple Complementation of Generalized Büchi Automata
Abstract:
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 …more
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 …more
 

Keywords

complementation omega-automata transition-based generalized Büchi automata Spot
 
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2023
Identifier: https://is.muni.cz/th/s2a5u/

Thesis defence

  • Date of defence: 27. 6. 2023
  • Supervisor: prof. RNDr. Jan Strejček, Ph.D.
  • Reader: Ondřej Lengál

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution