Redukcie TGBA pomocou pokročilých simulácií – Bc. Tatiana Zbončáková
Bc. Tatiana Zbončáková
Diplomová práce
Redukcie TGBA pomocou pokročilých simulácií
Reductions of TGBA by Advanced Simulations
Abstract:
In this thesis, we present a way how to extend definitions of direct forward, delayed forward, and direct backward simulation relations for transition-based generalized Büchi automata (TGBA). For each of the proposed simulations, we prove that TGBA quotienting based on the equivalence according to this simulation preserves the language of automaton. We also present and implement an algorithm to compute …víceAbstract:
V tejto diplomovej práci predstavujeme spôsob ako rozšíriť definíciu priamej doprednej, oneskorenej doprednej a priamej spätnej simulácie na zovšeobecnené Büchiho automaty s akceptáciou na hranách (TGBA). Pre každú z navrhnutých simulácií sme dokázali, že kvocient TGBA na základe ekvivalencie podľa tejto simulácie, zachováva jazyk TGBA. Súčasťou práce je aj návrh a implementácia algoritmu na výpočet …více
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 7. 1. 2021
Identifikátor:
https://is.muni.cz/th/mfeaf/
Obhajoba závěrečné práce
- Obhajoba proběhla 8. 2. 2021
- Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: doc. RNDr. Vojtěch Řehák, 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 informatikyMagisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.