Question :
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 ?
1. S1 is correct and S2 is not correct.
2. Both S1 and S2 are correct.
3. Both S1 and S2 are not correct.
4. S1 is not correct and S2 is correct.
Answer :
2 - Both S1 and S2 are correct.
|