Prevodník formulí lineárneho mu-kalkulu na Buchi automaty – Mgr. Tomáš Laurinčík
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 …moreAbstract:
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
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
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Prosodická analýza textu (1C, 2C, 3C, 4C, 5C, 6C, 7C, 8C)
Karolína VOLOŠINOVÁ -
Komparace a vyhodnocení chování tržních subjektů na trzích B2B, B2C, C2B a C2C
Štěpánka Bořková -
Komparace a vyhodnocení chování tržních subjektů na trzích B2B, B2C, C2B a C2C
Pavel Kasal -
Przemiany j\c{e}zykowe ludno\'sci regionu wodzis\l{}awskiego pos\l{}uguj\c{a}cej si\c{e} gwar\c{a} \'sl\c{a}sk\c{a} (na przyk\l{}adzie wsi Olza i Odra)
Joanna DANSZCZYK -
La traduction commentée d'un texte non-littéraire du fran\c{c}ais au tcheque orientée sur la linguistique (traduction d'un extrait du livre "VANDELOISE, Claude (1986), L'Espace en fran\c{c}ais, Paris : Le Seuil.")
Nikola NAJZAROVÁ -
Charakterizace mikrotubuly vázajícího proteinu 2c (MAP2c) s atomovým rozlišením
Kateřina Bendová -
Porovnání knihoven pro tvorbu GUI v C/C++
Jan Bartošek -
Vliv poruchy interakčního rozhraní mezi Axinem a c-myc na in vivo stabilitu c-myc.
Pavlína Víšková