Symbolická reprezentace konečných automatů
| but.committee | prof. RNDr. Alexandr Meduna, CSc. (předseda) doc. Ing. Zdeněk Kotásek, CSc. (místopředseda) Ing. František Grézl, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) RNDr. Marek Rychlý, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté 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 C. Otázky u obhajoby: Několik dotazů k experimentům s vytvořenou implementací je uvedeno již v části 7. Zde je několik dalších dotazů: Proč jste implementoval právě ty operace, které jste implementoval? Proč jste nezvážil např. implementaci testu jazykové inkluze? V úvodu kapitoly 4 hovoříte o exponenciálním nárůstu složitosti operací. Jaké operace myslíte, vůči čemu je zmiňovaná složitost exponenciální a odstraňuje vaše práce tento problém? | 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 | Lengál, Ondřej | cs |
| dc.contributor.author | Chromečka, Jiří | cs |
| dc.contributor.referee | Vojnar, Tomáš | cs |
| dc.date.created | 2014 | cs |
| dc.description.abstract | V~oblasti formální analýzy se často setkáváme s~konečnými automaty s~velkým množstvím stavů nad velkými abecedami. Jejich explicitní reprezentace může vyústit ve stavovou explozi a~tento problém může být vyřešen použitím symbolické reprezentace schopné pracovat s~celou množinou stavů najednou. Cílem této práce je rozšířit knihovnu libVATA o~podporu této reprezentace včetně algoritmů pro některé operace nad touto reprezentací. Předložený text se v~úvodu zabývá předpoklady nezbytnými pro pochopení konečných automatů a~binárních rozhodovacích diagramů, které se využívají pro jejich symbolickou reprezentaci. Dále jsou uvedeny některé existující knihovny pro práci s~konečnými automaty. Následuje jádro této práce, návrh symbolické reprezentace a~operací nad ní, které jsou poté implementovány jako rozšíření zmíněné knihovny. Výsledky testů dokazují, že symbolická reprezentace je zajímavou alternativou explicitní reprezentace. | cs |
| dc.description.abstract | In formal analysis we often encounter finite automata with a~large amount of states over large alphabets. Their explicit representation can result in a~state explosion and this problem can be solved by the use of symbolic representation that can manipulate a~whole set of states at once. The aim of this work is to extend the libVATA library to support such a~representation including algorithms for some operations on this representation. The presented text first deals with prerequisites necessary to undestand finite automata and binary decision diagrams used for their symbolic representation. Then it lists some existing libraries for work with finite automata. Next follows the core of this work, the~design of a~symbolic representation and operations on it, which are later implemented in the previously mentioned library. The test results proves that the symbolic representation is an interesting alternative to the explicit representation. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | CHROMEČKA, J. Symbolická reprezentace konečných automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014. | cs |
| dc.identifier.other | 79910 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/56500 | |
| 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 | binární rozhodovací diagram | cs |
| dc.subject | konečný automat | cs |
| dc.subject | symbolická reprezentace | cs |
| dc.subject | jazykové sjednocení | cs |
| dc.subject | jazykový průnik | cs |
| dc.subject | relace simulace | cs |
| dc.subject | knihovna libVATA | cs |
| dc.subject | binary decision diagram | en |
| dc.subject | finite automaton | en |
| dc.subject | symbolic representation | en |
| dc.subject | language union | en |
| dc.subject | language intersection | en |
| dc.subject | simulation relation | en |
| dc.subject | libVATA library | en |
| dc.title | Symbolická reprezentace konečných automatů | cs |
| dc.title.alternative | Symbolic Representation of Finite Automata | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2014-06-18 | cs |
| dcterms.modified | 2020-05-10-16:11:44 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79910 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 18:46:22 | en |
| sync.item.modts | 2025.01.15 18:28:07 | 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 |