Zpět na vyhledávání

Bc. Tomáš Babiak, Ph.D.

Master's thesis

Almost linear Bűchi automata

Almost linear Bűchi automata
Anotácia:
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 …viac
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 …viac
 

Keywords

Model-checking Linear temporal logic (LTL) LIO B\"{u}chi automata Almost linear B\"{u}chi automata (ALBA)
 
Jazyk práce: English
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
  • Vedúci: 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

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Parallel and Distributed Systems

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

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