Bc. Juraj Major

Diplomová práce

Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou

Translation of LTL into nondeterministic automata with generic acceptance condition
Anotace:
Záverečná práca sa zameriava na preklad LTL na konečné automaty nad nekonečnými slovami pomocou alternujúcich automatov. Navrhuje nový algoritmus prekladu, ktorý používa všeobecnú akceptačnú podmienku, s cieľom zmenšiť veľkosť výsledných automatov.
Abstract:
The thesis focuses on the translation of LTL to finite automata over infinite words via alternating automata. We suggest a new translation algorithm that uses a generic acceptance condition to decrease the size of the resultant automata.
 

Keywords

LTL omega-automata alternating automata nondeterministic automata generic acceptance condition HOAF
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 4. 1. 2017
Identifikátor: https://is.muni.cz/th/o0rn5/

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

  • Obhajoba proběhla 10. 2. 2017
  • Vedoucí: RNDr. František Blahoudek
  • Oponent: prof. RNDr. Ivana Černá, CSc.

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

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

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

Seznam prací, které mají shodná klíčová slova.
Všechny práce