New Versions of Classical Automata and Grammars
| but.committee | prof. Ing. Tomáš Hruška, CSc. (předseda) doc. Dr. Ing. Dušan Kolář (místopředseda) doc. RNDr. Jitka Kreslíková, CSc. (člen) Prof. Ing. Pavol Návrat, Ph.D. (člen) doc. Mgr. Adam Rogalewicz, Ph.D. (člen) Ing. Jan Samek, Ph.D. (č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 A. Otázky u obhajoby: V závěru práce uvádíte, že probíhá výzkum i dalších derivačních módů gramatik s rozptýleným kontextem. Uveďte jeden příklad. | cs |
| but.jazyk | angličtina (English) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Meduna, Alexandr | en |
| dc.contributor.author | Soukup, Ondřej | en |
| dc.contributor.referee | Solár, Peter | en |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Tato diplomová práce se zabývá zkoumáním nových verzí automatů a gramatik a je proto rozdělena do dvou částí. První část definuje a studuje čisté více zásobníkové automaty a navíc zavádí úplná uspořádání nad jejich zásobníky nebo zásobníkovými symboly. Práce dokazuje, že zavedená omezení snižují vyjadřovací sílu automatů. Ve druhé části práce jsou definovány a popsány nové derivační módy gramatik s rozptýleným kontextem, které zobecňují relaci přímé derivace. Je dokázáno, že jejich použití nesnižuje vyjadřovací sílu gramatik. | en |
| dc.description.abstract | This master's thesis investigates new versions of automata and grammars and is thus divided into two parts. First part defines and studies pure multi-pushdown automata and additionally introduces total orders above their pushdowns or pushdown symbols. Present work proves, defined restrictions decrease accepting power of these automata. In the second part, new modes of scattered context derivations are defined and described, which generalize the relation of direct derivation. It is proved, these modes do not decrease the generation power of scattered context grammars. | cs |
| dc.description.mark | A | cs |
| dc.identifier.citation | SOUKUP, O. New Versions of Classical Automata and Grammars [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79166 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/61786 | |
| dc.language.iso | en | 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 | Čisté vícezásobníkové automaty | en |
| dc.subject | úplná uspořádání | en |
| dc.subject | gramatiky s rozptýleným kontextem | en |
| dc.subject | derivační módy | en |
| dc.subject | vyjadřovací síla | en |
| dc.subject | Pure multi-pushdown automata | cs |
| dc.subject | total orders | cs |
| dc.subject | scattered context grammars | cs |
| dc.subject | derivation modes | cs |
| dc.subject | accepting power | cs |
| dc.title | New Versions of Classical Automata and Grammars | en |
| dc.title.alternative | New Versions of Classical Automata and Grammars | cs |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2013-06-17 | cs |
| dcterms.modified | 2020-05-09-23:43:30 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79166 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:16:26 | en |
| sync.item.modts | 2025.01.15 22:42:50 | en |
| thesis.discipline | Informační systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |