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

Abstract

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.