All mock tests are FREE till 31 December — register to save your progress

Which of the following statements is correct?

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

Show answer & explanation

Correct answer: C. L = {aⁿbʲ : n = j²} is not a context-free language.

Explanation

Ackermann's function is total recursive but not primitive recursive. aⁿbᵏcⁿ⁺ᵏ is CF but not regular. aⁿbʲ with n = j² is not CF (true). Every CSL is accepted by some LBA, i.e. L = L(M), so D is false.

More Theory of Computation and Compilers questions