ΑΠΟΦΑΣΙΣΙΜΕΣ κ ΑΠΟΔΕΚΤΕΣ ΓΛΩΣΣΕΣΑΠΟΔΕΙΞΕΙΣ ΜΗ ΕΠΙΛΥΣΙΜΟΤΗΤΑΣ
ΘΕΩΡΗΜΑ: Έστω (Υπάρχει αναγωγή από την L στην L ). Τότε ισχύουν τα εξής:
1. Αν η L είναι Turing-Αποφασίσιμη, τότε και η L είναι Turing-Αποφασίσιμη
2. Αν η δεν είναι Turing-Αποφασίσιμη, τότε και η δεν είναι Turing-Αποφασίσιμη
3. Αν η L είναι Turing-Αποδεκτή, τότε και η L είναι Turing-Αποδεκτή
4. Αν η L είναι μη Turing-Αποδεκτή, τότε και η L είναι μη Turing-Αποδεκτή