Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

formální jazyk formální gramatika Chomského hierarchie uzávěrová vlastnost teorie množin logika tvrzení dokazování přímý důkaz nepřímý důkaz důkaz sporem vyvracení odvozovací pravidlo protipříklad interaktivní aplikace JavaScript
 
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

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

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.