Redukcie TGBA pomocou pokročilých simulácií – Bc. Tatiana Zbončáková
Bc. Tatiana Zbončáková
Master's thesis
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 …viacAbstract:
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 …viac
Jazyk práce: Slovak
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
- Žádné práce na příbuzné téma.