Hluboké zásobníkové automaty konečného indexu
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) Ing. Petr Schwarz, Ph.D. (člen) | cs |
| but.defence | Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm A . Otázky u obhajoby: V kapitole 6 uvádíte, že metoda syntaktické analýzy použitá v programu je implementačně jednoduchá, ale nepříliš efektivní z hlediska časové složitosti. Existují nějaké efektivnější metody, které by se daly aplikovat? | 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 | Meduna, Alexandr | cs |
| dc.contributor.author | Poncová, Vendula | cs |
| dc.contributor.referee | Horáček, Petr | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Tato práce představuje několik modifikací hlubokých zásobníkových automatů s ohledem na redukci počtu stavů nebo nevstupních symbolů. Je ukázáno, že síla hlubokých zásobníkových automatů konečného indexu není ovlivněna omezením nevstupních symbolů na jeden, tudíž tyto automaty charakterizují nekonečnou hierarchii jazykových rodin vycházejících z programových gramatik konečného indexu. Na základě principu tohoto automatu je stanovena normální forma hlubokých zásobníkových automatů. Nakonec zavádím zobecněný hluboký zásobníkový automat, který expanduje nejvrchnější možný nevstupní symbol na zásobníku. Tento automat spolu s jeho zredukovanými formami je ekvivalentní se stavovými gramatikami. | cs |
| dc.description.abstract | This thesis introduces several modifications of deep pushdown automata considering the reduced number of states or non-input symbols. It is shown that the power of deep pushdown automata of finite index is not affected by a limitation of non-input symbols to one, thus these automata characterize an infinite hierarchy of language families resulting from programmed grammars of finite index. Based on a principle of these automata, it is established the normal form of deep pushdown automata. Finally, I introduce generalized deep pushdown automata. They expand the topmost possible non-input symbol in the pushdown. These automata and their reduced forms are equivalent to state grammars. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | PONCOVÁ, V. Hluboké zásobníkové automaty konečného indexu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 78443 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54987 | |
| 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 | stavová gramatika | cs |
| dc.subject | programová gramatika | cs |
| dc.subject | hluboký zásobníkový automat | cs |
| dc.subject | redukce stavů | cs |
| dc.subject | redukce nevstupních symbolů | cs |
| dc.subject | normální forma | cs |
| dc.subject | state grammar | en |
| dc.subject | programmed grammar | en |
| dc.subject | deep pushdown automata | en |
| dc.subject | reduction of states | en |
| dc.subject | reduction of non-input symbols | en |
| dc.subject | normal form | en |
| dc.title | Hluboké zásobníkové automaty konečného indexu | cs |
| dc.title.alternative | Deep Pushdown Automata of Finite Index | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2013-06-13 | cs |
| dcterms.modified | 2020-05-09-23:39:52 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 78443 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 18:00:26 | en |
| sync.item.modts | 2025.01.15 14:41:54 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |