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