Bc. Tomáš Babiak, Ph.D.

Diplomová práce

Almost linear Bűchi automata

Almost linear Bűchi automata
Anotace:
V tejto práci sa zaoberáme špeciálnou triedou B\"{u}chiho automatov, ktorá sa volá Almost linear B\"{u}chi automata (ALBA) a jej vzťahom k fragmentu Lineárnej temporálnej logiky (LTL), ktorý sa nazýva LIO. V práci popisujeme preklad fragmentu LIO na ALBA a ukážeme jeho zložitosť. Ďalej porovnávame tento preklad s niekoľkými implementáciami štandardného prekladu logiky LTL na B\"{u}chiho automaty pomocou …více
Abstract:
In this thesis, we are concerned in the special class of B\"{u}chi automata called Almost linear B\"{u}chi automata (ALBA) and its relation to the fragment of Linear temporal logic called LIO. We provide an effective translation of LIO to ALBA and show it complexity. Further we provide the comparison of this translation with some implementations of standard translation from LTL to B\"{u}chi automata …více
 

Keywords

Model-checking Linear temporal logic (LTL) LIO B\"{u}chi automata Almost linear B\"{u}chi automata (ALBA)
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 11. 1. 2010
Identifikátor: https://is.muni.cz/th/cs3an/

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

  • Obhajoba proběhla 10. 2. 2010
  • Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: prof. RNDr. Mojmír Křetínský, 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:
Informatika / Paralelní a distribuované systémy

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

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