Interaktivní nástroj pro výuku konečných automatů

Abstract

Cílem bakalářské práce je vytvořit nástroj pro studenty, který má sloužit jako pomůcka pro výuku konečných automatů a regulárních výrazů. V první části práce si vysvětlíme základy konečných automatů a regulárních výrazů. Probereme přijetí slova konečným automatem, jeho typy, vlastnosti, převod nedeterministických konečných automatů na deterministické a množinové operace nad jazyky. Dále se budeme věnovat regulárním jazykům a regulárním výrazům a ukážeme, jak lze regulární výrazy převádět na konečné automaty. Ve druhé části se zaměříme na implementaci a návrh našeho softwarového díla. Popíšeme, jak byl nástroj navržen a jaké technologie byly použity.

The aim of the bachelor's thesis is to create a tool for students that would serve as a tool for teaching finite automata and regular expressions. In the first part of the thesis, we will explain the basics of finite automata and regular expressions. We will discuss the acceptance of a word by a finite automaton, its types, properties, conversion non-deterministic finite automata into deterministic and set operations over languages. We will also discuss regular languages and regular expressions and show how regular expressions can be converted to finite automata. In second part we will focus on the implementation and design of our software work. We will describe how the tool was designed and what technologies were used.