Pokročilá podpora pro odpovědníky z oblasti formálních jazyků

Bc. Matej Poklemba

Diplomová práce

Advanced Support for Formal Languages ROPOTs

Abstract:

The goal of this thesis is to improve current tools for filling out, automatic resolving and generating exercises in the area of formal languages. Among important additions is support for exercises for algorith Cocke-Younger-Kasami (C-Y-K), test of executing various algorithms, providing feedback to student, functional administration of resolver and its modernised front-end. Edited tools are ready for usage and making process of generating and filling out of ROPOTs from formal languages area better.

Abstract:

Cieľom práce je zlepšiť aktuálne nástroje pre zadávanie, automatické vyhodnocovanie a generovanie príkladov z oblasti formálnych jazykov, najmä regulárnych jazykov. Dôležitými prínosmi sú podpora príkladov na algoritmus Cocke-Younger-Kasami (C-Y-K), kontrola vykonania vybraných algoritmov, poskytovanie spätnej väzby študentovi, funkčná administrácia vyhodnocovacej služby a jej zmodernizovaný front-end. Upravené nástroje sú pripravené na používanie a zlepšenie procesu vytvárania a vypĺňania odpovedníkov z oblasti formálnych jazykov.

Klíčová slova

konečné automaty, regulárne gramatiky, regulárne výrazy, prechodový graf, tabuľka prechodovej funkcie, generátor, konvertor, editor, vyhodnocovacia služba, analyzátor, syntaktická analýza, front-end, administrácia

Jazyk práce: slovenština

Datum vytvoření / odevzdání či podání práce: 21. 5. 2018

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

• Obhajoba proběhla 21. 6. 2018
• 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