Vedoucí diplomové práce: | doc. RNDr. Jaroslav Markl |
Oponent: | doc.RNDr. Petr Jančar, CSc. |
Téma: | Řízené gramatiky |
Diplomant: | Ing. Martin Kot |
Práce odpovídá zadání; autor zřejmě navíc vytvořil programový systém vztahující se k části práce.
Práce je vhodně strukturovaná.
Autor vyšel z přehledového článku o řízených gramatikách publikovaném v knize Handbook of formal languages. Vypracoval text, který seznamuje čtenáře se základními typy těchto gramatik a ilustruje je na příkladech. Dále cituje výsledky týkající se generativní síly a výklad pak doplňuje vlastními neformálními úvahami týkajícími se některých aspektů návrhu gramatik a jejich vzájemného srovnání. Zvolil pak programovanou gramatiku pro ilustraci na větším příkladu, konkrétně fragmentu programovacího jazyka. Práci ještě nad rámec zadání doplnil o vytvoření programového systému umožňujícího návrh a simulaci programovaných gramatik.
Nebudu vypisovat nalezené drobné nepřesnosti či překlepy; snad jen uvedu, že slovo `family' se píše s jedním `l' a v daném kontextu se do češtiny nepřekládá jako `rodina' ale např. jako `třída'. Dále aspoň uvedu jednu poznámku, na kterou by autor mohl reagovat při obhajobě: -- Třetí odstavec úvodu může budit dojem, že je možné zachovat polynomiální složitost problému příslušnosti a přitom zvýšit generativní sílu na úroveň rekurzivně spočetných jazyků. Předpokládám, že autor si je vědom, že to možné není, očekával jsem ale, že v práci bude o problémech složitosti rovněž pojednáno (nejen o generativní síle).
Práce nepřináší nové poznatky.
Základním studijním materiálem byl již zmíněný přehledový článek v `Handbook of formal languages'.
K formální stránce nemám zásadních připomínek. Poznamenám jen, že v části 3.3.2. věnované porovnání gramatik se autor měl pokusit o přehlednější prezentaci.
Práce může sloužit jako úvodní text pro zájemce o seznámení se s řízenými gramatikami, např. pro studenty doktorandského studia.
Celkově hodnotím práci výborně, byť s určitou výhradou.
Celkové hodnocení: výborně
Ostrava, 24. 5. 2002