Home » Theory of Computation » Theory of computation miscellaneous » Question

Theory of computation miscellaneous

Theory of Computation

  1. Let L1 be a recursive language, and let L2 be a recursively enumerable but not a recursive language. Which one of the following is true?
    1. L1 is recursive and L2 is recursively enumerable
    2. L1 is recursive and L2 is not recursively enumerable
    3. L1 and L2 are recursively enumerable
    4. L1 is recursive enumerable and L2 is recursive
Correct Option: B

The rules here used will be. All those languages which are recursive their complements are also recursive. So option (a) & (b) can be correct.
Now languages which are recursively enumerable but not recursive, their complements can't be recursively enumerable.
So only option (b) is correct. Hence (b) is correct option.



Your comments will be displayed only after manual approval.