BuK/IIm20/Vorlesung 4 Merkelt

Wiki-Quelltext dieser Seite.

== Folie 11 ==
[[Bild:Nmerkelt_2021-04-19_09-02-26.png]]

== Folie 26 ==
[[Bild:Nmerkelt_2021-04-19_09-02-52.png]]

== Folie 28 ==
$M$ entscheidbar $\Longrightarrow M, A^\ast \backslash M$ aufzählbar

$M$ entscheidbar $\Longrightarrow M$ aufzählbar $\checkmark$ (siehe Satz 3)

Zu zeigen: $M$ entscheidbar $\Longrightarrow A^\ast \backslash M$ aufzählbar

$\chi_M(w) = \begin{cases} True & w \in M\\ False & w \in A^\ast \backslash M \end{cases}$ lt. Voraussetzung

Sei $c(w) = \overline{\chi_M(w)} = \begin{cases} False & w \in M\\ True & w \in A^\ast \backslash M \end{cases}$

== Folie 29 ==

== Folie 32 ==

== Folie 33 ==