04.6 Regulární jazyk, převod RG-DKA
$$
\require{mathtools}
\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}
\newcommand{\dv}[1]{\frac{\mathrm{d}}{\mathrm{d} #1}}
\newcommand{\dvv}[2]{\frac{\mathrm{d} #1}{\mathrm{d} #2}}
$$
# Regulární jazyk
Je to formální jazyk, který je přijímaný konečným automatem
Je to formální jazyk, který je popsán regulárním výrazem
Je to každý jazyk generovaný [regulární gramatikou](notes/bi-aag/01-klasifikace-gramatik-a-jazyku.md#Regulární gramatiky RG)
Vztahy mezi formálními systémy pro popis regulárních jazyků
- [Regulární gramatiky](notes/bi-aag/01-klasifikace-gramatik-a-jazyku.md#Regulární gramatiky RG)
- Konečné automaty ( DKA, NKA)
- Regulární výrazy
# Kleeneova věta
- Každý jazyk je regulární, právě když je přijímaný konečným automatem