formale Sprache

Produkt L_{1} \cdot L_{2}:=\left{w_{1} \cdot w_{2} \mid w_{1} \in L_{1}, w_{2} \in L_{2}\right}

k-faches Produkt L^{k}:=\left{w_{1} \cdot \ldots \cdot w_{k} \mid w_{i} \in L \text { für } 1 \leq i \leq k\right} \L^{1}=L, \quad L^{0}:={\varepsilon}

Kleene'scher Abschluss L^{*}:=\bigcup_{i \geq 0} L^{i} \

Positiver Abschluss $L^{+}:=\bigcup_{i \geq 1} L^{i}$

Quotientensprache L_{1} / L_{2}:=\left{w \in \Sigma^{*} \mid \exists z \in L_{2} \text { mit } w \cdot z \in L_{1}\right}

Komplementsprache $L^{c}:=\Sigma^{*} \backslash L$