Bakalářská práce

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

Simplification of Acceptance Condition of Emerson-Lei Automata

Tereza Šťastná
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.

Klíčová slova
TELA TGBA omega-automata SPOT SCC-based simplifications automata reduction
Zadání práce
Cílem práce je zjednodušit akceptační podmínky u nedeterministých transition-based Emerson-Lei automatů (TELA). Primární motivace je snížení počtu různých akceptačních značek. Dalším efektem může být i zjednodušení akceptační formule a snížení počtu instancí jednotlivých akceptačních značek v automatu. Práce bude kromě teoretické části popisující principy zjednodušení obsahovat i implementační část a část, která vyhodnotí navržené úpravy na automatech z vybraných zdrojů (např. LTL3TELA nebo Rabinizer4).
Administrativní informace
Práce zkontrolována:
17. 12. 2019 09:41, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
437 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
12. 2. 2020
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
KTP FI MU

Oponent

doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.