Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

TGBA SPOT omega-automat simulačné relácie kvocientovanie paritná hra redukcia priama dopredná simulácia oneskorená dopredná simulácia priama spätná simulácia
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.