next up previous
Nächste Seite: Entscheidbarkeit Aufwärts: Entscheidbarkeit Vorherige Seite: Wortproblem

Unterabschnitte

Charakteristische Funktion

Totale charakteristische Funktion

$\chi_{L}:\Sigma^{*}\rightarrow\{0,1\}$,

\begin{displaymath}\chi_{L}(w)=\left\{\begin{array}{ll}1&falls\,w\in L\\ 0&sonst\end{array}\right.\end{displaymath}

Partielle charakteristische Funktion

$\chi_{L}:\Sigma^{*}\rightarrow\{0,1\}$,

\begin{displaymath}\chi_{L}(w)=\left\{\begin{array}{ll}1&falls\,w\in L\\ \bot&sonst\end{array}\right.\end{displaymath}