Advertisement
Advertisement

More Related Content

More from Dimitris Psounis(20)

Advertisement

Recently uploaded(20)

ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4

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