Tatiana Zbončáková

Bachelor's thesis

Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky

Reduction of Omega-Automata with Use of Emerson-Lei Acceptance Condition
Abstract:
This bachelor's thesis studies a reduction of omega-automata. It presents a pattern which transforms transition-based generalized Büchi automaton into smaller transition-based Emerson-Lei automaton.There was implemented a script in the Python language to test the efficiency of the presented algorithm. This program finds the pattern in a given automaton and constructs an equivalent automaton with Emerson …more
Abstract:
Táto bakalárska práca sa zaoberá redukciou omega-automatov. Je v nej predstavený vzor, pomocou ktorého je možné transformovať zovšeobecnený Büchiho automat s akceptáciou na hranách na menší automat s Emerson-Lei akceptačnou podmienkou. Súčasťou práce je aj program v jazyku Python, ktorý dokáže daný vzor v omega-automate nájsť a zostrojiť ekvivalentný automat s Emerson-Lei akceptačnou podmienkou. Účinnosť …more
 

Keywords

TGBA TELA omega-automat SPOT SPOTELA LTL
 
Language used: Slovak
Date on which the thesis was submitted / produced: 28. 5. 2018
Identifier: https://is.muni.cz/th/hz78t/

Thesis defence

  • Date of defence: 29. 6. 2018
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: 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

Bachelor 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.