BuK-Kreativaufgabe04 G1

Aus ProgrammingWiki
< BuK < IIm10
Archivierte Version vom 2011-04-14T13:39:37+00:00. Aktuelle Version

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:

  1. M ist semi-entscheidbar
  2. M ist aufzählbar

Für die Semi-Entscheidbarkeit gilt:

\chi ':A^*\rightarrow M \chi_M '(w)=\begin{cases} true, \text(wenn )w \in M \\ n.d., sonst \end{cases}