BuK/IIm10/BuK-Kreativaufgabe04 G2

Wiki-Quelltext dieser Seite.

=Zeitbeschränkte Prozesse mit Engines=

Folgender '''Satz''' soll auf dieser Seite mittels Scheme-Engines dargestellt werden:

: Wenn M semi-entscheidbar ist, dann ist M aufzählbar.

Aus ''M ist semi-entscheidbar'' kann man folgenden Schluss ziehen:

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

Die Funktion ist partiell berechenbar, d.h. es gibt Eingabeparameter für die <math>\chi_M '</math> stoppt, und welche für die die Funktion nicht stoppt.