Intermediate
Theory of Computation
Q50 / 100
What is the Post Correspondence Problem (PCP)?
Correct! Well done.
Incorrect.
The correct answer is B) An undecidable problem of finding a sequence of tiles such that the top string concatenation equals the bottom string concatenation
B
Correct Answer
An undecidable problem of finding a sequence of tiles such that the top string concatenation equals the bottom string concatenation
Explanation
PCP: given pairs of strings (aᵢ, bᵢ), find a sequence i₁, i₂,..., iₖ such that a_{i₁}a_{i₂}...a_{iₖ} = b_{i₁}b_{i₂}...b_{iₖ}. Undecidable, useful for showing other problems undecidable.
Progress
50/100