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.
-
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků
Bc. Daniel Pelíšek -
Rozšíření nástroje JGAF
Mgr. Radek Gomola, učo 256769 -
Vyhodnocování výrazů relační algebry v odpovědnících IS
Mgr. Roman Mačor -
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků
Bc. Daniel Pelíšek -
LL analyzátory a jejich implementace v prostředí JGAF
Bc. Dominik Szalai -
Transformace bezkontextových gramatik
Mgr. Zuzana Krejčová -
Advanced Encryption Standard (AES) a jeho bezpečná implementace pro kryptografickou čipovou kartu s podporou JavaCard
Mgr. Jakub Kluz -
Elektronická žákovská knížka pro ZŠ
Mgr. Martin Červený




