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

Abstract

Tato bakalářská práce je zaměřena na problematiku tvorby konečného automatu a regulárního výrazu z definice formálního jazyka. Tyto pojmy jsou zde stručně vysvětleny, stejně jako algoritmy či technologie, které jsou k tomu potřeba. Za účelem demonstrace vznikla komponenta výukového serveru teoretické informatiky ve formě webové aplikace, která je schopna podle zadaného nebo náhodně sestaveného jazyka vygenerovat příslušný regulární výraz a nedeterministický konečný automat.

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.