Hodnocení diplomové práce - oponent

1. Odpovídá práce uvedenému zadání v plném rozsahu?
   

   Práce odpovídá zadání; autor zřejmě navíc vytvořil programový systém vztahující se k části práce.

2. Jak hodnotíte předloženou práci z hlediska struktury a návaznosti jednotlivých částí práce, případně jejich úplnosti?
   

   Práce je vhodně strukturovaná.

3. Základní zhodnocení:
   

   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.

4. Jiné poznatky, kritické připomínky:
   

   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).

5. Zda, a v kterých částech práce přináší nové poznatky?
   

   Práce nepřináší nové poznatky.

6. Jaká je charakteristika výběru a využití studijních pramenů?
   

   Základním studijním materiálem byl již zmíněný přehledový článek v `Handbook of formal languages'.

7. Hodnocení formální stránky (jazyková stránka, formální zpracování):
   

   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.

8. Jaký je způsob využití práce (publikace, praktické využití)?
   

   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.

9. Závěrečné zhodnocení práce:
   

   Celkově hodnotím práci výborně, byť s určitou výhradou.

Celkové hodnocení:      výborně

Ostrava, 24. 5. 2002