Generátor příkladů k teorii formálních jazyků

Bc. Jiří Uhlíř

Diplomová práce

Exercise Generator for Formal Language Theory

Anotace:

Obsahem práce je automatické generování příkladů k procvičování různých témat z teorie formálních jazyků a automatů.Součástí práce je implementace aplikace generující příklady, jejíž předchozí verze vznikly v rámci bakalářských prací na FI MUNI. V rámci diplomové práce proběhla revize stávajících algoritmů a jejich opravení či vylepšení pro dosažení optimálních výsledků. Zároveň práce obsahuje nový generátor k procvičování deterministické syntaktické analýzy algoritmem C-Y-K. Koncept použitý během tvorby aplikace je zaměřený na snadné rozšíření o další typy příkladů do budoucna.

Abstract:

This diploma thesis deals with automatic example generation for practising algorithms from the topics of formal languages and automata theory. Part of the thesis contains revision of algorithms already created within several bachelor theses done on FI MUNI. New module for practising deterministic syntactic analysis using C-Y-K algorithm is introduced in this thesis. Application design is aiming to be modular for easy extension of application for new example types in the future.

Klíčová slova

formální jazyky, generátor příkladů, procvičování algoritmů, automaty, gramatiky, učební pomůcka, transformace reprezentací formálních jazyků, deterministická syntaktická analýza algoritmem C-Y-K, rozšiřitelnost

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 8. 1. 2015

Obhajoba závěrečné práce

• Obhajoba proběhla 13. 2. 2015
• Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: prof. RNDr. Mojmír Křetínský, CSc.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika