Which of the following problems are decidable? 1) Does a given program ever produce an output? 2) If L is a context-free language, then, is L̅ also context-free? 3) If L is a regular language, then, is L̅ also regular? 4) If L is a recursive language, then, is L̅ also recursive?
Which of the following problems are decidable? 1) Does a given program ever produce an output? 2) If L is a context-free language, then, is L̅ also context-free? 3) If L is a regular language, then, is L̅ also regular? 4) If L is a recursive language, then, is L̅ also recursive? Correct Answer 3, 4
The correct answer is option 4
CONCEPT:
Decidable language: A language is decidable if there exists a Turing machine which halts or accepts it.
EXPLANATION:
1: Undecidable
There is no TM to determine whether a given program will produce an output.
2: Undecidable
Context-free languages are not closed under complementation.
3: Decidable
Regular languages are closed under complementation.
4: Decidable
Recursive languages are closed under complementation.
So option 4 is correct