Zpět na vyhledávání

Mgr. Tomáš Laurinčík

Bachelor's thesis

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 …more
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 …more
 

Keywords

mu-kalkul Buchi automat DiVinE C++ prevodník translator mu-calculus Buchi automaton
 
Language used: Slovak
Date on which the thesis was submitted / produced: 18. 5. 2007
Identifier: https://is.muni.cz/th/xxqih/

Thesis defence

  • Date of defence: 18. 6. 2007
  • Supervisor: prof. RNDr. Jiří Barnat, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution