---
# System prepended metadata

title: Notizen 5

---

# Notizen 5
**Nicht-Turing-Erkennbar:**
**Wahre** Eingaben werden entweder:
1. Akzeptiert
2. Unendlich bearbeitet

**Nicht-Co-Turing-Erkennbar:**
**Falsche** Eingaben werden entweder:
1. Abgelehnt(rejected)
2. Unendlich bearbeitet

**Turing-Erkennbar:**
Jede **wahre** Eingabe(die in der Sprache ist) wird akzeptiert und nicht unendlich bearbeitet.

**Co-Turing-Erkennbar:**
Jede **falsche** Eingabe(die nicht in der Sprache ist) wird **nicht** akzeptiert und nicht unendlich bearbeitet.

**Turing-Entscheidbar:**
Turing-Erkennbar und Co-Turing-Erkennbar.
Es wird bei **allen** Wörter terminiert.

Entscheidbar ist immer erkennbar.
Erkennbar ist nicht unbedingt immer auch entscheidbar.

Mengendiagramm der Eigenschaften:

![](https://i.imgur.com/za5eMNp.png)
