Consider following languages

L1 = { | T is a Turing machine and T halts on w},

L2 = { | T is a Turing Machine and T does not halt on w}

L3 = { | T is a Turing Machine and T and T accepts wR whenever it accepts w}

Which of the following statement is true?

1
L1 and L2 both are REL.
2
L3 is decidable.
3
L3 is undecidable.
4
L1 is REL and L2 is not REL.

Sponsored

hivanix.in

Visit

This quiz is brought to you by hivanix.in

🌐 Web App Development

Quick Navigation