Bc. Miriama Sasaráková

Bachelor's thesis

Reduction of Omega-Automata Using k-Lookahead Simulations

Reduction of Omega-Automata Using k-Lookahead Simulations
Abstract:
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 …more
Abstract:
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 …more
 

Keywords

TGBA Spot LTL3BA parity game simulation relations quotienting pruning
 
Language used: English
Date on which the thesis was submitted / produced: 28. 5. 2018
Identifier: https://is.muni.cz/th/z3yok/

Thesis defence

  • Date of defence: 28. 6. 2018
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. RNDr. Mojmír Křetínský, CSc.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Computer Systems and Data Processing

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.