Satz on Rice Flashcards
1
Q
Satz von Rice - Definition
A
2
Q
Satz von Rice - Kommar
A
3
Q
Frage ob die akzeptierte Sprache vom Typ-0 ist entschuldbar?
A
Ja (trivial immer ja)
4
Q
Was thematisiert der zweite Satz von Rice
A
semi-entscheidbare Teilmengen von R
5
Q
Busy beaver - Definition̄
A
6
Q
Berechenbarkeit von Busy Beaver Funktion S und E
A
Die Funktionen S und E sind nicht Turning-berechenbar
7
Q
Wachstum von Busy Beaver Funktion S
A
Die Funktion S wächst (asymptotisch) schneller als jede berechenbare Funktion
