Abbildung, deren Argumente und Resultate eine oder mehrere Sprachen sind.

Beispiele für Sprachoperationen sind der Shuffle-Operator, die Vereinigung L₁ ∪ L₂ mit \begin{eqnarray}L_1\cup L_2=\{w|w\in L_1\,\,\text{oder}\,\,w \in L_2\},\end{eqnarray} der Durchschnitt L₁ ∩ L₂ mit \begin{eqnarray}L_1\cup L_2=\{w|w\in L_1\,\,\text{und}\,\,w \in L_2\},\end{eqnarray} das Komplement \(\bar{L}\) mit \begin{eqnarray}\bar{L}=\{w|w\in \Sigma *, w\notin L\},\end{eqnarray} die Spiegelung L^R mits \begin{eqnarray}L^R=\{a_n a_{n-1}\ldots a_1 | a_1\ldots a_{n-1} a_n \in L\},\end{eqnarray} die Konkatenation L₁ ∘ L₂ mit \begin{eqnarray}L_1 \circ L_2=\{w_1 w_2| w_1\in L_1, w_2 \in L_2\},\end{eqnarray} sowie die Iteration L* mit \begin{eqnarray}L* =\displaystyle \underset{i=0}{\overset{\infty}{\bigcup}}{L}^{i},\end{eqnarray} wobei L⁰ = {ε} (die Sprache, die nur das leere Wort enthält) und L^k+1 = L^k ∘ L ist.