Závěrečná práce: Rastislav Mirek: Generátor příkladů k teorii formálních jazyků
Bakalářská práce
Generátor příkladů k teorii formálních jazyků
Exercise Generator for Formal Language Theory
Anotace
Práca sa zaoberá automatickým generovaním príkladov na transformáciu bezkontextových gramatík do normálnych foriem. Súčasťou práce je implementácia generátora vrátane vhodných nastavení, ktoré umožňujú vymedzit’ obtiažnosť príkladov. Zahrnutá je aj implementácia výpisu riešení príkladov. Dôraz je kladený na praktickú využiteľnosť generovaných príkladov vo výuke teórie formálnych jazykov.
Abstract
This bachelor thesis deals with automatic generation of context-free grammars transformation examples. It includes implementation of generator that also allows to determinate complexity of examples in options. The generator’s ability to include results of generated examples is part of the work. Practical usability of generated examples in formal languages theory education is important for this work.
Zadání práce
1. 6. 2009 03:00, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Vedoucí
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
LL analyzátory a jejich implementace v prostředí JGAF
Bc. Dominik Szalai -
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků
Bc. Daniel Pelíšek -
Vyhodnocování výrazů relační algebry v odpovědnících IS
Mgr. Roman Mačor -
Rozšíření nástroje JGAF
Mgr. Radek Gomola, učo 256769 -
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků
Bc. Daniel Pelíšek -
Transformace bezkontextových gramatik
Mgr. Zuzana Krejčová -
Impact of virtualization on benchmark accuracy
Mgr. Jakub Fabo -
Web application for searching for astronomical objects in internet catalogues
Mgr. Ľuboslav Halama




