Mgr. Tomáš Laurinčík

Bakalářská práce

Prevodník formulí lineárneho mu-kalkulu na Buchi automaty

Translator from linear mu-calculus into Buchi automata
Abstract:
This bachelor thesis reformulates the algorithms for translating a mu-calculus formula, suitable for a description of process properties, into a Buchi automaton, suitable for an algoritmic manipulation. Further in the thesis, algoritms are optimised so that the number of states in the intermediate products is reduced, the running time of the algorithms is shortened and the resulting automaton is simplified …více
Abstract:
Táto bakalárska práca reformuluje algoritmy prevodu formulí lineárneho mu-kalkulu, vhodného pre popis vlastností procesov, na Buchiho automaty, ktoré sú vhodné pre algoritmickú manipuláciu. Algoritmy ďalej optimalizuje, aby sa zmenšil počet stavov v medziproduktoch, tým urýchlil výpočet a zjednodušil výsledný automat. Súčasťou práce je implementácia tohto prevodníku tak, aby bol použiteľný v rámci …více
 

Klíčová slova

mu-kalkul Buchi automat DiVinE C++ prevodník translator mu-calculus Buchi automaton
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 18. 5. 2007
Identifikátor: https://is.muni.cz/th/xxqih/

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

  • Obhajoba proběhla 18. 6. 2007
  • Vedoucí: prof. RNDr. Jiří Barnat, 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