04.2 Hodnota RV
$$
\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}}
$$
Hodnota regulárního výrazu
Dostane na vstup regulární výraz a vrátí regulární jazyk
Hodnota $h(x)$ je definována takto:
$h(\emptyset) = \emptyset$
$h(\varepsilon) = {\varepsilon}$
$h(a) = {a}, a \in \Sigma$
$h(x+y) = h(x) \cup h(y)$
$h(x.y) = h(x) . h(y)$
$h(x^) = (h(x))^$
kde $x,y$ jsou regulární výrazy
Tedy hodnota RV je nějaká množina slov