Regulární jazyky, konečné automaty a konečné pologrupy

Martin Masař

Bachelor's thesis

Regular Languages, Finite Automata, and Finite Semigroups

Anotácia:

Tato bakalářská práce se zabývá studiem a popisem různých způsobů zadání regulárního jazyka a související teorie. Teoretická část obsahuje popis regulárních jazyků, následně jsou popsány jednotlivé způsoby zadání regulárních jazyků, pomocí regulárního výrazu, konečného automatu a monoidu a jejich souvislosti a operace, které mohou provádět. Vy-brané způsoby a operace jsou ilustrovány na příkladech, které jsou v praktické části práce implementovány pomocí jazyka Wolfram Mathematica a Pythonu.

Abstract:

This bachelor's thesis deals with the study and description of various methods for speci-fying a regular language and related theory. The theoretical part includes a description of regular languages, followed by an explanation of the individual ways to specify regular languages and their connections, as well as operations that can be performed using them. Selected methods and operations are illustrated on examples, which are implemented in the practical part of the thesis using Wolfram Mathematica and Python.

Kľúčové slová

regulární jazyk, regulární výraz, konečný automat, monoid, Wolfram Mathematica, Python

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 26. 5. 2023

Obhajoba závěrečné práce

• Vedúci: Mgr. Jana Volaříková

Tomas Bata University in Zlín

Faculty of Applied Informatics

Bachelor programme / odbor:
Software Engineering / Software Engineering