Knihovna pro konečné automaty a převodníky

but.committeeprof. Ing. Jan M. Honzík, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) doc. RNDr. Michal Novák, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen) Ing. Igor Szőke, Ph.D. (člen)cs
but.defenceStudentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázku 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í studentky na položené otázky rozhodla práci hodnotit stupněm výborně A. Otázky u obhajoby: Jak by bylo složité rozšířit knihovnu o podporu symbolických automatů v plné míře (aspoň pro základní množinové operace, tj. průnik, sjednocení, komplement) za použítí externího SMT solveru pro formule predikátové logiky prvního řádu?cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorHruška, Martincs
dc.contributor.authorBieliková, Michaelacs
dc.contributor.refereeLengál, Ondřejcs
dc.date.created2017cs
dc.description.abstractKonečné automaty majú široké uplatnenie v informatike, okrem iných vo formálnej verifikácii, modelovaní systémov a spracovaní prirodzeného jazyka. Avšak modely skutočne reprezentujúce realitu bývajú veľmi komplikované a môžu byť definované nad veľkými, v niektorých prípadoch až nekonečnými, abecedami, a teda môžu obsahovať veľký počet prechodov. V týchto prípadoch nemusí byť je použitie algoritmov na prácu s konečnými automatmi efektívne. Symbolické automaty poskytujú stručnejší zápis tak, že namiesto symbolov v prechodoch používajú predikáty. Konečné prevodníky tiež majú široké uplatnenie, od ligvistiky až po formálnu verifikáciu. Symbolické prevodníky nahradzujú symboly dvojicou predikátov - jeden predikát pre vstupné symboly a jeden pre výstupné. Cieľom tejto práce je návrh knižnice pre klasické a symbolické automaty a prevodníky, ktorá bude vhodná na rýchle prototypovanie nových algoritmov.cs
dc.description.abstractFinite state automata are widely used in the field of computer science such as formal verification, system modelling, and natural language processing. However, the models representing the reality are complicated and can be defined upon big alphabets, or even infinite alphabets, and thus contain a lot of transitions. In these cases, using classical finite state automata is not very efficient. Symbolic automata are more concise by employing predicates as transition labels. Finite state transducers also have a wide range of application such as linguistics or formal verification. Symbolic transducers replace classic transition labels with two predicates, one for input symbols and one for output symbols. The goal of this thesis is to design a library for letter and symbolic automata and transducers which will be suitable for fast prototyping.en
dc.description.markAcs
dc.identifier.citationBIELIKOVÁ, M. Knihovna pro konečné automaty a převodníky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.cs
dc.identifier.other106477cs
dc.identifier.urihttp://hdl.handle.net/11012/69684
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.subjectkonečné automatycs
dc.subjectsymbolické automatycs
dc.subjecttransducerycs
dc.subjectefektívne algoritmycs
dc.subjectformálna verifikáciacs
dc.subjectfinite state automataen
dc.subjectsymbolic automataen
dc.subjecttransducersen
dc.subjectefficient algorithmsen
dc.subjectformal verificationen
dc.titleKnihovna pro konečné automaty a převodníkycs
dc.title.alternativeLibrary for Finite Automata and Transducersen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2017-06-13cs
dcterms.modified2020-05-10-16:13:09cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid106477en
sync.item.dbtypeZPen
sync.item.insts2025.03.18 19:00:12en
sync.item.modts2025.01.15 20:19:54en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 4 of 4
Loading...
Thumbnail Image
Name:
final-thesis.pdf
Size:
2.06 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Loading...
Thumbnail Image
Name:
Posudek-Vedouci prace-20123_v.pdf
Size:
86.16 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-20123_v.pdf
Loading...
Thumbnail Image
Name:
Posudek-Oponent prace-20123_o.pdf
Size:
89.54 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-20123_o.pdf
Loading...
Thumbnail Image
Name:
review_106477.html
Size:
1.44 KB
Format:
Hypertext Markup Language
Description:
file review_106477.html
Collections