Prevodník formulí lineárneho mu-kalkulu na Buchi automaty – Mgr. Tomáš Laurinčík
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íceAbstract:
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
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.
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
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á