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