Zjednodušování akceptační podmínky u Emerson-Lei automatů

Tereza Šťastná

Bakalářská práce

Simplification of Acceptance Condition of Emerson-Lei Automata

Anotace:

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 nástroje.

Abstract:

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.

Keywords

TELA, TGBA, omega-automata, SPOT, SCC-based simplifications, automata reduction

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 16. 12. 2019

Obhajoba závěrečné práce

• Obhajoba proběhla 12. 2. 2020
• Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: doc. RNDr. Vojtěch Řehák, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika