Generátor příkladů na automaty a gramatiky
| Thesis title in Czech: | Generátor příkladů na automaty a gramatiky |
|---|---|
| Thesis title in English: | Generator of Exercises on Automata and Grammars |
| Academic year of topic announcement: | 2023/2024 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | RNDr. Martin Svoboda, Ph.D. |
| Author: | Jan Veverka - assigned and confirmed by the Study Dept. |
| Date of registration: | 30.08.2023 |
| Date of assignment: | 31.08.2023 |
| Confirmed by Study dept. on: | 23.11.2023 |
| Guidelines |
| Solving exercises as an exploitation of the already learned techniques is a fundamental and widely adopted means of improving our skills not just in various areas of Mathematics or Computer Science. Unfortunately, many existing exercises suffer from various unsuitable characteristics as for the procedure or solution themselves, though not revealing such drawbacks at first sight in any way. In fact, proposing quality exercises tends not to be straightforward and so represents a challenge on its own. Not only do they need to be reasonably difficult regarding the time needed for their solving or the complexity of constructs used, we may also be interested in specific situations, phenomena, or procedures to be involved.
The objective of this thesis is to propose and implement a tool that will allow to generate exercises on several selected problems from the theory of formal languages. The proposed model will incorporate configuration parameters restraining the expected behavior, specifically tailored generating strategies, as well as indicators allowing to determine the quality of exercises generated. Since there are presumably no existing solutions, the work will at least benefit from the analysis of the existing automata and grammar libraries or generators of exercises outside of the outlined scope. The thesis will also contain a thorough specification of the intended tool. Its implementation will be appropriately tested and accompanied by programming and user documentation. |
| References |
| Romero Julien. Pyformlang: An Educational Library for Formal Language Manipulation. In: SIGCSE '21: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. March 2021. Pages 576-582. DOI: 10.1145/3408877.3432464
Trávníček Jan, Pecka Tomáš, Plachý Štěpán, et al. Algorithms Library Toolkit [https://alt.fit.cvut.cz/] Holub Jan. BIE-AAG Course Materials. Czech Technical University in Prague [https://courses.fit.cvut.cz/BIE-AAG/] |