

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 | |