Show simple item record

Tool for Büchi Automata

dc.contributor.advisorRogalewicz, Adamcs
dc.contributor.authorSchindler, Petrcs
dc.date.accessioned2018-10-21T20:55:51Z
dc.date.available2018-10-21T20:55:51Z
dc.date.created2013cs
dc.identifier.citationSCHINDLER, 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.other79216cs
dc.identifier.urihttp://hdl.handle.net/11012/53399
dc.description.abstractTato 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.abstractThis 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.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectBüchiho automatcs
dc.subjectkonečný automatcs
dc.subjectknihovna pro Pythoncs
dc.subjectoperace nad Büchiho automaty.cs
dc.subjectBüchi automataen
dc.subjectfinal state automataen
dc.subjectPython libraryen
dc.subjectoperations over Büchi automata.en
dc.titleNástroj pro práci s Büchi automatycs
dc.title.alternativeTool for Büchi Automataen
dc.typeTextcs
dcterms.dateAccepted2013-06-20cs
dcterms.modified2020-05-10-16:11:05cs
thesis.disciplineMatematické metody v informačních technologiíchcs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
sync.item.dbid79216en
sync.item.dbtypeZPen
sync.item.insts2021.11.10 13:07:59en
sync.item.modts2021.11.10 12:44:42en
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
dc.contributor.refereeLengál, Ondřejcs
dc.description.markEcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
but.committeeprof. 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.defenceStudent 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.resultpráce byla úspěšně obhájenacs
but.programInformační technologiecs
but.jazykčeština (Czech)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record