Komplement einer Sprache

Einfache Sprache

Def. Komplement einer Sprache

Sei $L$ eine Sprache über das Alphabet $\Sigma$. Das Komplement von $L$, geschrieben $\overline L$, ist definiert als alle Wörter über $\Sigma$, die nicht in $L$ sind. Mit dem Relatives Komplement $\setminus$ also

$$\overline L = \Sigma^*\setminus L\;.$$