Simple Complementation of Generalized Büchi Automata – Bc. David Dokoupil
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 …moreAbstract:
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
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
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata
Adam Fiedler -
Propagační spot s animovanými prvky o oboru Textilní tvorba
Tomáš Žukovský -
ZOO Ostrava jako hot spot biodiverzity mechorostů v průmyslové oblasti
Sarah STACHOVÁ -
Hot spot analýza
Aneta DVOŘÁKOVÁ -
Analýza potenciálu a přínos instrumentu Spot Bitcoin ETF
Ivan Liashenko -
Podnikatelský záměr - Offline spot
Jiří Tulajdan -
Control of Cercospora leaf spot on sugar beet in the Czech Republic
Ram Kumar -
Syntetické zeolity a jejich iontovýměnné vlastnosti pro zinečnaté ionty
Eugen Spot