Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky – Tatiana Zbončáková
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 …moreAbstract:
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
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
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 InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
- No theses on a related topic available.