All mock tests are FREE till 31 December — register to save your progress
Unit 8 · Theory of Computation and Compilers Paper 2 CS · June 2024 (Cancelled Exam)

Match List I with List II
List IList II
A. A → aB | a (a ∈ T; A, B ∈ V)I. Recursive Descent Parser
B. A → BC | a (a ∈ T; A, B, C ∈ V)II. Turing Machine
C. LL(1) grammarIII. Chomsky Normal Form
D. Halting problemIV. Finite Automata

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

Show answer & explanation

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

Explanation

Right-linear rules A → aB | a define regular grammars, accepted by finite automata (IV). A → BC | a is Chomsky Normal Form (III). LL(1) grammars are parsed by recursive-descent (predictive) parsers (I). The halting problem concerns Turing machines (II).

More Theory of Computation and Compilers questions