Porovnávanie regulárnych jazykov generovaných na základe regulárnych výrazov
Autor: Matúš Piroh
Vedúci práce: Mgr. Alexander Szabari, PhD.
Ciele práce:
- Navrhnúť a implementovať program na porovnávanie regulárnych výrazov
- Preskúmať a porovnať už existujúce knižnice a programy pre prácu s automatmi
Zdroje:
- J.E. Hopcroft: Formálne jazyky a automaty
- https://en.wikipedia.org/wiki/DFA_minimization
- http://www.brics.dk/automaton/
- http://jautomata.sourceforge.net/
- http://www.matematika.cz/regular-na-automat