Nástroj pro interaktivní dokazování tvrzení o formálních jazycích – Bc. Tomáš Richter
Bc. Tomáš Richter
Bachelor's thesis
Nástroj pro interaktivní dokazování tvrzení o formálních jazycích
A Tool for Interactively Proving Properties of Formal Languages
Abstract:
Cílem práce bylo navrhnout a implementovat výukovou pomůcku,která studentům umožní dokazovat a vyvracet tvrzení o formálních jazycích. Zadávání úloh, tvoření důkazu a ověření správnosti důkazu probíhá z pohledu uživatele interaktivně. Ke kontrole důkazu se využívají uzávěrové vlastnosti, známé inkluze a odvozovací pravidla, která využívají poznatků z teorie množin a z teorie formálních jazyků. Pro …moreAbstract:
The goal of the thesis was to design and implement a learning tool that can be used by students for proving and disproving properties of formal languages. Entering tasks, creating proof and checking validity of the proof is interactive for users. Closure properties, known inclusions and inference rules that use knowledge from set theory and the theory of formal languages are used for checking proof …more
Language used: Czech
Date on which the thesis was submitted / produced: 25. 5. 2017
Identifier:
https://is.muni.cz/th/an2us/
Thesis defence
- Date of defence: 27. 6. 2017
- Supervisor: RNDr. Martin Jonáš
- Reader: RNDr. Vladimír Štill
Citation record
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
- No theses on a related topic available.