Nástroj pro práci s Büchi automaty
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Dr. Ing. Dušan Kolář (místopředseda) Ing. Martin Hrubý, Ph.D. (člen) doc. Ing. Vladimír Janoušek, Ph.D. (člen) doc. Ing. Radomil Matoušek, Ph.D. (člen) doc. Ing. František Zbořil, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm E. Otázky u obhajoby: Kde vidíte možnosti aplikace Vámi vytvořeného nástroje? Proč jste zvolil právě algoritmus Karmarkar & Chakraborty pro výpočet automatu pro doplněk jazyka? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Rogalewicz, Adam | cs |
| dc.contributor.author | Schindler, Petr | cs |
| dc.contributor.referee | Lengál, Ondřej | cs |
| dc.date.accessioned | 2018-10-21T20:55:51Z | |
| dc.date.available | 2018-10-21T20:55:51Z | |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Tato práce zpracovává problematiku Büchiho automatů a představuje knihovnu, umožňující provádět základní operace nad těmito automaty. V práci jsou uvedeny základy teorie automatů. Ty jsou použity při popisu konečných automatů, mezi které patří Büchiho automaty, jejichž popis tvoří hlavní část zde uvedené teorie. Znalost jejich vlastností je důležitá pro pochopení algoritmů, které s nimi pracují. Dále jsou tyto algoritmy představeny i s detailním vysvětlením. Následuje návrh datových struktur formátu, v jakém jsou automaty ukládány na disk. Stěžejní část práce se věnuje implementaci knihovny a pomocných skriptů. Detailně jsou zde popsány důležité nebo zajímavé části implementace jednotlivých metod. Závěr práce je věnován testování funkčnosti knihovny. | cs |
| dc.description.abstract | This thesis elaborates the Büchi automata theory and introduces a library that enables working with them. Basics of the automata theory is explained. The main part of this work is focused on Büchi automata, which belong to finite automata. The main properties of Büchi automata are explained and proved. The knowledge of those properties is important for understanding the algorithms mentioned in this work. The next part describes those algorithms and explains their principles in details. The design of library is described in the next part of this work. Main part is aimed at the implementation of the library and auxiliary scripts. The most interesting and important parts of methods are described in detail. Closing part describes testing of library functionality. | en |
| dc.description.mark | E | cs |
| dc.identifier.citation | SCHINDLER, P. Nástroj pro práci s Büchi automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79216 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53399 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Büchiho automat | cs |
| dc.subject | konečný automat | cs |
| dc.subject | knihovna pro Python | cs |
| dc.subject | operace nad Büchiho automaty. | cs |
| dc.subject | Büchi automata | en |
| dc.subject | final state automata | en |
| dc.subject | Python library | en |
| dc.subject | operations over Büchi automata. | en |
| dc.title | Nástroj pro práci s Büchi automaty | cs |
| dc.title.alternative | Tool for Büchi Automata | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2013-06-20 | cs |
| dcterms.modified | 2020-05-10-16:11:05 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79216 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2021.11.10 13:07:59 | en |
| sync.item.modts | 2021.11.10 12:44:42 | en |
| thesis.discipline | Matematické metody v informačních technologiích | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |