Reimplementace a konsolidace systémů podporujících výuku formálních jazyků

Bc. et Bc. Kateřina Sloupová

Diplomová práce

Reimplementation and Consolidation of Systems for Formal Languages Education Support

Anotace:

Práce přispívá k existujícímu systému vyhodnocování příkladů z oblasti formálních jazyků při výuce na FI MU. Přední součástí je nová implementace formalismů pro popis regulárních jazyků (konečné automaty, regulární gramatiky, regulární výrazy) a algoritmů pro vyhodnocování souvisejících úloh. Rovněž proběhla úprava syntaxe zápisu formalismů i zadání úloh. Nové vyhodnocovací jádro je napojeno na používané sady odpovědníků v IS MU a k projektu vznikl nový webový front end umožňující porovnávat a převádět formalismy.

Abstract:

The thesis contributes to the existing formal languages evaluation system for courses at FI MU. The main feature of the work is a new implementation of formalisms for description of regular languages (finite automata, regular grammars, regular expressions) and algorithms for evaluation of related excercises. Furthermore, formal descriptions and task syntax was updated. New evaluation core is connected to ROPOTs in use within IS MU and there is a new website for comparation and conversion of formalisms.

Klíčová slova

formální jazyky, automaty, e-learning, automatické vyhodnocování, webové rozhraní, Python

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 20. 7. 2020

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

• Obhajoba proběhla 14. 9. 2020
• 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