Vedoucí diplomové práce: | doc. RNDr. Jaroslav Markl |
Oponent: | doc.RNDr. Petr Jančar, CSc. |
Téma: | Řízené gramatiky |
Diplomant: | Ing. Martin Kot |
Obsah diplomové práce v plném rozsahu pokrývá zadání. Navíc byl vytvořen programový systém pro návrh a simulaci programovaných gramatik.
Členění práce je logické a přirozené a to jak na úrovních rozvržení kapitol a podkapitol, tak i na spodní úrovni samotného textu. Všechny používané pojmy jsou předem definovány. Analogické podkapitoly jsou analogicky strukturovány. Práce uceleným, vyváženým a přehledným způsobem referuje o zadané tématice.
Práce podává souhrnou informaci o řízených gramatikách. V první části práce je podána klasifikace různých typů řízených gramatik. Každý typ řízené gramatiky je nejdříve charakterizován neformálně, pak následuje formální definice a pak jsou uvedeny konkrétní příklady gramatik spolu s konkrétními derivacemi. Tyto příklady názorně ilustrují způsob práce každého typu gramatik a odlišnosti ve způsobu práce jednotlivých typů. V druhé části diplomové práce se porovnávají řízené gramatiky z hlediska jejich generativní síly, z hlediska složitosti programu simulujícího generování slov a z hlediska jednoduchosti (přirozenosti snadnosti) návrhu gramatiky generující daný jazyk. Konečně v poslední části práce je specifikován jednoduchý programovací jazyk a pro tento jazyk jsou definovány jednak řízená (programovaná) gramatika a jednak klasická neřízená gramatika, které obě specifikovaný jazyk generují.
V práci jsem nenalezl žádné závažnější chyby či nedostatky, které by stály za zmínku.
Práce nepřináší žádné nové teoretické poznatky, obsahuje však řádu zajímavých a podnětných postřehů zejména v části věnované porovnání gramatik.
Základním pramenem je pramen označený [HFL-96], odtud jsou v podstatě převzaty definice řízených gramatik a jejich klasifikace. Tento komprimovaný a relativně obtížný text dokázal autor přetransformoval do rozvinutější a přístupnější podoby.
Po formální stránce je práce na velmi dobré úrovni až na drobné stylistické neobratnosti.
Diplomová práce může být využita jako velmi dobrý přehledový výchozí text uvádějící do studia problematiky řízených gramatik (např. pro potřeby postgraduálního studia).
Celkové hodnocení: výborně
Ostrava, 23. 5. 2002