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

Martin Masař

Bakalářská práce

Regular Languages, Finite Automata, and Finite Semigroups

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

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

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

• Vedoucí: Mgr. Jana Volaříková

Univerzita Tomáše Bati ve Zlíně

Fakulta aplikované informatiky

Bakalářský studijní program / obor:
Softwarové inženýrství / Softwarové inženýrství