All mock tests are FREE till 31 December — register to save your progress
Unit 8 · Theory of Computation and Compilers Paper 2 CS · November 2020

Match List I with List II (L_R regular, L_CF context-free, L_REC recursive, L_RE recursively enumerable). List I: A. Recursively enumerable language, B. Recursive language, C. Context-free language. List II: I. complement(L_REC) ∪ L_RE, II. complement(L_CF) ∪ L_REC, III. L_R* ∩ L_CF.

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: C. A-I, B-II, C-III

Explanation

The complement of a recursive language is recursive, and its union with an RE language is RE. A CFL's complement is recursive, so its union with a recursive language is recursive. A regular language (closed under star) intersected with a CFL is context-free.

More Theory of Computation and Compilers questions