Komponenta výukového serveru TI - RV a (N)KA ze specifikace jazyka

Abstract

This bachelor thesis is focused on problematics of creation of a finite automaton and a regular expression from a definition of a formal language. These terms are briefly explained here as well as the algorithms and technologies needed for that. A web application was created for demonstration purposes as a component of an teaching server of theoretical informatics. It is able to generate a nondeterministic finite automaton and regular expression according to a specified or randomly created formal language.