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

Related Questions