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 …moreAbstract:
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 …more
Language used: Slovak
Date on which the thesis was submitted / produced: 7. 1. 2021
Identifier:
https://is.muni.cz/th/mfeaf/
Thesis defence
- Date of defence: 8. 2. 2021
- Supervisor: doc. RNDr. Jan Strejček, Ph.D.
- Reader: doc. RNDr. Vojtěch Řehák, Ph.D.
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 InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
- No theses on a related topic available.