Simulation-Based Reduction of Modal Omega-Automata – Bc. Dávid Smolka
Bc. Dávid Smolka
Bakalářská práce
Simulation-Based Reduction of Modal Omega-Automata
Simulation-Based Reduction of Modal Omega-Automata
Anotace:
V tejto práci zavádzame modálne automaty (automaty pracujúce s dvomi množinami prechodov) a zovšeobecňujeme koncepty simulácii, prerezávania a kvocientovanie tak, aby využívali modalitu týchto automatov. Pre určité podmnožiny modálnych simulácii charaktrizujeme tie, ktoré je možno použiť s modálnym prerezávaním alebo modálnym kvocientovaním. Potom ukážeme, ako redukovať problém výpočtu konkrétnej triedy …víceAbstract:
In this thesis we introduce modal automata (automata utilizing two sets of transitions) and generalize the concepts of simulations, pruning and quotienting to make use of the modality of such automata. For particular subset of modal simulations, we characterize those that can be used with the modal pruning and modal quotienting. We then show how to reduce the problem of computing particular class these …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 18. 5. 2023
Identifikátor:
https://is.muni.cz/th/qq7ad/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2023
- Vedoucí: prof. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.