Transformace frontových gramatik
Loading...
Date
Authors
Holas, David
Advisor
Referee
Mark
D
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
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.
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.
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.
Description
Keywords
Frontové gramatiky , 1. normální forma , 2. normální forma , normalizace , transformace , gramatiky s rozptýleným kontextem , jedno kontextové pravidlo , omezení popisné složitosti , jazyk Swift. , Queue grammars , first normal form , second normal form , normalization , normalzation , tranformation , scattered context grammars , single context-sensitive rule , reduced descriptional complexity , Swift language.
Citation
HOLAS, D. Transformace frontových gramatik [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Matematické metody
Comittee
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)
Date of acceptance
2023-06-21
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.
Result of defence
práce byla úspěšně obhájena