Match List I with List II. List I: (A) Type 0, (B) Type 1, (C) Type 2, (D) Type 3. List II: (I) Finite automata, (II) Turing machine, (III) Linear bounded automata, (IV) Pushdown automata.

1. A(A)-(III), (B)-(IV), (C)-(II), (D)-(I)
2. B(A)-(II), (B)-(III), (C)-(IV), (D)-(I)
3. C(A)-(III), (B)-(IV), (C)-(I), (D)-(II)
4. D(A)-(II), (B)-(III), (C)-(II), (D)-(IV)

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

Show answer & explanation

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

Explanation

Type 0 ↔ Turing machines; Type 1 ↔ linear bounded automata; Type 2 ↔ pushdown automata; Type 3 ↔ finite automata.