Knihovna pro konečné automaty a převodníky
but.committee | prof. 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.defence | Studentka 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.program | Informační technologie | cs |
but.result | práce byla úspěšně obhájena | cs |
dc.contributor.advisor | Hruška, Martin | cs |
dc.contributor.author | Bieliková, Michaela | cs |
dc.contributor.referee | Lengál, Ondřej | cs |
dc.date.created | 2017 | cs |
dc.description.abstract | Koneč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.abstract | Finite 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.mark | A | cs |
dc.identifier.citation | BIELIKOVÁ, 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.other | 106477 | cs |
dc.identifier.uri | http://hdl.handle.net/11012/69684 | |
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 | konečné automaty | cs |
dc.subject | symbolické automaty | cs |
dc.subject | transducery | cs |
dc.subject | efektívne algoritmy | cs |
dc.subject | formálna verifikácia | cs |
dc.subject | finite state automata | en |
dc.subject | symbolic automata | en |
dc.subject | transducers | en |
dc.subject | efficient algorithms | en |
dc.subject | formal verification | en |
dc.title | Knihovna pro konečné automaty a převodníky | cs |
dc.title.alternative | Library for Finite Automata and Transducers | en |
dc.type | Text | cs |
dc.type.driver | bachelorThesis | en |
dc.type.evskp | bakalářská práce | cs |
dcterms.dateAccepted | 2017-06-13 | cs |
dcterms.modified | 2020-05-10-16:13:09 | cs |
eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
sync.item.dbid | 106477 | en |
sync.item.dbtype | ZP | en |
sync.item.insts | 2025.03.18 19:00:12 | en |
sync.item.modts | 2025.01.15 20:19:54 | en |
thesis.discipline | Informační technologie | cs |
thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
thesis.level | Bakalářský | cs |
thesis.name | Bc. | cs |
Files
Original bundle
1 - 4 of 4
Loading...
- Name:
- final-thesis.pdf
- Size:
- 2.06 MB
- Format:
- Adobe Portable Document Format
- Description:
- final-thesis.pdf
Loading...
- Name:
- Posudek-Vedouci prace-20123_v.pdf
- Size:
- 86.16 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Vedouci prace-20123_v.pdf
Loading...
- Name:
- Posudek-Oponent prace-20123_o.pdf
- Size:
- 89.54 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-20123_o.pdf
Loading...
- Name:
- review_106477.html
- Size:
- 1.44 KB
- Format:
- Hypertext Markup Language
- Description:
- file review_106477.html