Zpět na vyhledávání

Bc. et Bc. Kateřina Sloupová

Master's thesis

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

Reimplementation and Consolidation of Systems for Formal Languages Education Support
Abstract:
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é …more
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 …more
 

Keywords

formální jazyky automaty e-learning automatické vyhodnocování webové rozhraní Python
 
Language used: Czech
Date on which the thesis was submitted / produced: 20. 7. 2020
Identifier: https://is.muni.cz/th/bwci5/

Thesis defence

  • Date of defence: 14. 9. 2020
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. RNDr. Mojmír Křetínský, CSc.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution