Tatiana Zbončáková

Bachelor's thesis

Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky

Reduction of Omega-Automata with Use of Emerson-Lei Acceptance Condition
Abstract:
This bachelor's thesis studies a reduction of omega-automata. It presents a pattern which transforms transition-based generalized Büchi automaton into smaller transition-based Emerson-Lei automaton.There was implemented a script in the Python language to test the efficiency of the presented algorithm. This program finds the pattern in a given automaton and constructs an equivalent automaton with Emerson …viac
Abstract:
Táto bakalárska práca sa zaoberá redukciou omega-automatov. Je v nej predstavený vzor, pomocou ktorého je možné transformovať zovšeobecnený Büchiho automat s akceptáciou na hranách na menší automat s Emerson-Lei akceptačnou podmienkou. Súčasťou práce je aj program v jazyku Python, ktorý dokáže daný vzor v omega-automate nájsť a zostrojiť ekvivalentný automat s Emerson-Lei akceptačnou podmienkou. Účinnosť …viac
 

Kľúčové slová

TGBA TELA omega-automat SPOT SPOTELA LTL
 
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 28. 5. 2018
Identifikátor: https://is.muni.cz/th/hz78t/

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

  • Obhajoba proběhla 29. 6. 2018
  • Vedúci: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: RNDr. Vojtěch Řehák, Ph.D.

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics

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

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.