Reduction of Omega-Automata Using k-Lookahead Simulations – Bc. Miriama Sasaráková
Bc. Miriama Sasaráková
Bachelor's thesis
Reduction of Omega-Automata Using k-Lookahead Simulations
Reduction of Omega-Automata Using k-Lookahead Simulations
Anotácia:
Táto práca rozširuje definície dopredných, spätných a k-lookahead simulačných relácií pre zovšeobecnený Büchiho automat s akceptáciou na hranách (TGBA). Následne poskytuje návrh implementácie doprednej-priamej a spätnej simulačnej relácie s využitím paritných hier. Vybrané simulácie boli využité v algoritmoch (kvocientovanie a odstraňovanie hrán) za účelom zjednodušenia stavového priestoru automatov …viacAbstract:
This thesis presents extended definitions of forward, backward and k-lookahead simulation relations for transition-based generalized Büchi automata (TGBA). Then, it provides an implementation outline of direct-forward and backward simulation relations by utilizing parity games. Selected simulations were used in algorithms (quotienting and transition pruning) to reduce the state space of the automata …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 28. 5. 2018
Identifikátor:
https://is.muni.cz/th/z3yok/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2018
- Vedúci: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. RNDr. Mojmír Křetínský, CSc.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Computer Systems and Data Processing
Práce na příbuzné téma
- Žádné práce na příbuzné téma.