Zjednodušování akceptační podmínky u Emerson-Lei automatů – Tereza Šťastná
Tereza Šťastná
Bachelor's thesis
Zjednodušování akceptační podmínky u Emerson-Lei automatů
Simplification of Acceptance Condition of Emerson-Lei Automata
Abstract:
Tato práce navrhuje metodu pro zjednodušení akceptačních podmínek založenou na rozkladu na silně souvislé komponenty pro Emerson-Lei automaty s akceptací na hranách (TELA). Tato zjednodušení mají za cíl snížit počet různých akceptačních množin a popřípadě zredukovat délku akceptační formule. Tato práce obsahuje experimentální implementaci navržené metody a experimentální vyhodnocení implementovaného …moreAbstract:
This thesis proposes SCC-based simplifications of acceptance condition formulae for transition-based Emerson-Lei automata (TELA). These simplifications aim to reduce the number of unique acceptance sets of the automaton and possibly reduce the length of the acceptance formula. The thesis includes an experimental implementation of the proposed method and experimental evaluation of the implemented tool …more
Language used: English
Date on which the thesis was submitted / produced: 16. 12. 2019
Identifier:
https://is.muni.cz/th/eq9bp/
Thesis defence
- Date of defence: 12. 2. 2020
- 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 InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Reduction of Omega-Automata Using k-Lookahead Simulations
Miriama Sasaráková -
Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky
Tatiana Zbončáková -
Návrh prevenční komunikační kampaně proti rakovině děložního těla
Marek Keppert