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

Let A = {001, 0011, 11, 101} and B = {01, 111, 111, 010}; C = {00, 001, 1000} and D = {0, 11, 011}. Which pairs have a Post correspondence solution?

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

Show answer & explanation

Correct answer: A. Only pair (C, D)

Explanation

A PCP instance has a solution if some sequence of indices makes the concatenated top and bottom strings equal. Following the official key, only (C, D) has one.

More Theory of Computation and Compilers questions