Transformace frontových gramatik
| but.committee | doc. Dr. Ing. Petr Hanáček (předseda) doc. RNDr. Milan Češka, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Mgr. Kamil Malinka, Ph.D. (člen) Ing. Matěj Grégr, Ph.D. (člen) Mgr. Ing. Pavel Očenášek, 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, např. ohledně motivace k řešení daného tématu, teoretického poznání v oblasti řešení projektu či rozsahu některých částí technické zprávy. 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 uspokojivě / D. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie a umělá inteligence | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Křivka, Zbyněk | cs |
| dc.contributor.author | Holas, David | cs |
| dc.contributor.referee | Regéciová, Dominika | cs |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Diplomová práce je rozdělena do dvou částí. První část spočívá v opravě chyby v algoritmickém převodu frontové gramatiky do 1. normální formy navrženém jiném odborném článku. Algoritmus byl analyzován a úspěšně opraven. Druhá část se zabývá návrhem nové transformace na gramatiky s rozptýleným kontextem s omezenou popisnou složitostí. Práce obsahuje důkaz její korektnosti a studium její složitosti. Byla vytvořena konzolová aplikace, která pomáhá automaticky analyzovat příslušné transformace. | cs |
| dc.description.abstract | The master thesis is divided into two parts. First part focuses on fixing incorrect transformation algorithm of queue grammar into a first normal form proposed in other paper. The algorithm was analysed and successfully corrected. Second part focuses on proposing a new tranformation to scattered context grammars with reduced descriptional complexity. The thesis contains a proof of its correctness and contains its complexity analysis. Console application was created to help analyze the respective transformations. | en |
| dc.description.mark | D | cs |
| dc.identifier.citation | HOLAS, D. Transformace frontových gramatik [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 140952 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211897 | |
| 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 | Frontové gramatiky | cs |
| dc.subject | 1. normální forma | cs |
| dc.subject | 2. normální forma | cs |
| dc.subject | normalizace | cs |
| dc.subject | transformace | cs |
| dc.subject | gramatiky s rozptýleným kontextem | cs |
| dc.subject | jedno kontextové pravidlo | cs |
| dc.subject | omezení popisné složitosti | cs |
| dc.subject | jazyk Swift. | cs |
| dc.subject | Queue grammars | en |
| dc.subject | first normal form | en |
| dc.subject | second normal form | en |
| dc.subject | normalization | en |
| dc.subject | normalzation | en |
| dc.subject | tranformation | en |
| dc.subject | scattered context grammars | en |
| dc.subject | single context-sensitive rule | en |
| dc.subject | reduced descriptional complexity | en |
| dc.subject | Swift language. | en |
| dc.title | Transformace frontových gramatik | cs |
| dc.title.alternative | Transformation of Queue Grammars | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2023-06-21 | cs |
| dcterms.modified | 2023-06-21-10:01:44 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 140952 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:36:25 | en |
| sync.item.modts | 2025.01.15 19:53:19 | en |
| thesis.discipline | Matematické metody | 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 |