01 Abeceda, řetězec
$$
\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}}
$$
# Abeceda
- Množina symbolů
- Konečná
- Může být prázdná
# Řetězec
- Posloupnost symbolů abecedy
- Konečný
- Může být prázdný - $\varepsilon$
# Délka řetězce
- Značíme $|x|$
- $|x|\ge 0$
- $|x| = 0 \Leftrightarrow x = \varepsilon$
# Operace zřetězení
- Značíme tečkou $\cdot$
- Je asociativní
- Není komutativní
- $\varepsilon$ se chová jako neutrální prvek, $x \varepsilon = \varepsilon x = x$
- $a^{3}= aaa$
# Reverze řetězce
- Značíme $x^{R}$
- $y = abcd$
- $y^{R}= dcba$