Redukce nedeterministických konečných automatů
| but.committee | prof. RNDr. Milan Češka, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) doc. Ing. Michal Bidlo, Ph.D. (člen) Prof. RNDr. Milan Mišovič, CSc. (člen) Dr. Ing. Petr Peringer (č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: Z výsledků je vidět, že levá ekvivalence funguje na zkoumané automaty výrazně lépe než pravá. Zamýšlel jste se, čím může být tento jev způsoben? Zkoušel jste kombinovat metody levé a pravé ekvivalence tak, že po provedení jedné metody je aplikovaná druhá? | 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 | Kaštil, Jan | cs |
| dc.contributor.author | Procházka, Lukáš | cs |
| dc.contributor.referee | Kořenek, Jan | cs |
| dc.date.created | 2011 | cs |
| dc.description.abstract | Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny. | cs |
| dc.description.abstract | Nondeterministic finite automaton is an important tool, which is used to process strings in many different areas of programming. It is important to try to reduce its size for increasing programs' effectiveness. However, this problem is computationally hard, so we need to search for new techniques. Basics of finite automata are described in this work. Some methods for their reduction are then introduced. Usable reduction algorithms are described in greater detail. Then they are implemented and tested. The test results are finally evaluated. | en |
| dc.description.mark | E | cs |
| dc.identifier.citation | PROCHÁZKA, L. Redukce nedeterministických konečných automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2011. | cs |
| dc.identifier.other | 42424 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54175 | |
| 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 | nedeterministický konečný automat | cs |
| dc.subject | NKA | cs |
| dc.subject | redukce | cs |
| dc.subject | minimalizace | cs |
| dc.subject | ekvivalence | cs |
| dc.subject | předuspořádání | cs |
| dc.subject | kvaziuspořádání | cs |
| dc.subject | problém splnitelnosti | cs |
| dc.subject | prohledávání do šířky | cs |
| dc.subject | nondeterministic finite automaton | en |
| dc.subject | NFA | en |
| dc.subject | reduction | en |
| dc.subject | minimization | en |
| dc.subject | minimalization | en |
| dc.subject | equivalence | en |
| dc.subject | preorder | en |
| dc.subject | satisfiability problem | en |
| dc.subject | SAT solver | en |
| dc.subject | breadth first search | en |
| dc.title | Redukce nedeterministických konečných automatů | cs |
| dc.title.alternative | Reduction of the Nondeterministic Finite Automata | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2011-06-20 | cs |
| dcterms.modified | 2020-05-09-23:41:53 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 42424 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:52:14 | en |
| sync.item.modts | 2025.01.17 11:58:35 | en |
| thesis.discipline | Inteligentní systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |