BuK/IIm10/BuK-Kreativaufgabe04 G1

Wiki-Quelltext dieser Seite.

=Zeitbeschränkte Prozesse mit Engines=
; Satz
: Wenn M semi-entscheidbar ist, dann ist M aufzählbar.

Beim Analysieren des Satzes erkennt man, dass folgendes gelten soll:
# M ist semi-entscheidbar
# M ist aufzählbar

Für die Semi-Entscheidbarkeit gilt:

<math>
\chi ':A^*\rightarrow M
</math>

<math>
\chi_M '(w)=\begin{cases}
true, \text(wenn )w \in M \\
n.d., sonst
\end{cases}
</math>