

MCQOPTIONS
Saved Bookmarks
1. |
Assume statements S1 and S2 defined as : S1 : L2-L1 is recursive enumerable where L1 and L2 are recursive and recursive enumerable respectively. S2 : The set of all Turing machines is countable. Which of the following is true ? |
A. | S1 is correct and S2 is not correct |
B. | Both S1 and S2 are correct |
C. | Both S1 and S2 are not correct |
D. | S1 is not correct and S2 is correct |
Answer» C. Both S1 and S2 are not correct | |