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

Consider two instances X and Y of the Post Correspondence Problem, each with lists A and B of three strings over {0, 1}. Which of the following is true?

X

iList AList B
11111
21011110
3100

Y

iList AList B
110101
201111
3101011

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

Show answer & explanation

Correct answer: A. Only PCP in X has a solution

Explanation

X: the sequence 2, 1, 1, 3 gives 10111·1·1·10 = 10·111·111·0 = 101111110. Y: every pair must start with pair 1 (10/101), and the B string then stays one symbol ahead with no way to close the gap, so Y has no solution.

More Theory of Computation and Compilers questions