adplus-dvertising
frame-decoration

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?

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

Posted under Compiler Design

Answer: (b).Both S1 and S2 are correct

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

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