Aufzählbarkeit & (Semi-)Entscheidbarkeit Flashcards
1
Q
(rekursiv) aufzählbar - Definition
A
2
Q
Entscheidebarkeit - Theorem
A
3
Q
Aufzählbare Sprachen - Theorem
A
Eine Sprache L ist aufzählbar gdw. L ist semi-entscheidbar.
4
Q
semi-entscheibar - Äquivalenzen
A
5
Q
entscheidbar - Äquivalenzen
A