wilhelm büchner_728x90_bachelor_informatik
 

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

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}