Detail práce
Demonstrace rozptýlených gramatik s jediným kontextovým pravidlem
Práce se zabývá tvorbou aplikace, která ze zadané frontové gramatiky konstruuje gramatiku s rozptýleným kontextem a jedním kontextovým pravidlem, derivuje v~ní zadaný řetězec a celý proces prezentuje uživateli. K derivaci řetězců byla navržena heuristika, která snižuje počet aplikovatelných pravidel v každé větné formě. Uživatel může ovlivnit průběh derivace ručním výběrem pravidel. Průběh derivace je vypisován v podobě čistého textu nebo HTML dokumentu.Byly odhaleny dvě chyby v teoretickém podkladu práce, jmenovitě v převodu frontové gramatiky do 1. normální formy a v konstrukci gramatik s rozptýleným kontextem a jedním kontextovým pravidlem. V práci se podařilo nalézt částečné řešení druhého problému, které je implementováno v aplikaci.
Gramatiky s rozptýleným kontextem, kontextové pravidlo, frontové gramatiky, normální formy, derivace řetězců, demonstrace, jazyk C, prohledávání stavového prostoru.
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ázku oponenta a na další otázky přítomných (ohledně transformace gramatik, normalizace gramatiky). 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 - výborně.
- V práci ste popísali nedostatky algoritmu na prevod frontových gramatík na ich ekvivalent v 1. normálnej forme. Vysvetlite, aké komplikácie by mohli nastať v prípade, že by bol algoritmus upravený tak, aby zjednocoval všetky stavy, ktoré boli v pôvodnej gramatike koncové.
Burgetová Ivana, Ing., Ph.D. (UIFS FIT VUT), člen
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Španěl Michal, Ing., Ph.D. (UPGM FIT VUT), člen
@bachelorsthesis{FITBT22678,
author = "David Holas",
type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
title = "Demonstrace rozpt\'{y}len\'{y}ch gramatik s jedin\'{y}m kontextov\'{y}m pravidlem",
school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
year = 2021,
location = "Brno, CZ",
language = "czech",
url = "https://www.fit.vut.cz/study/thesis/22678/"
}