Post correspondence problem

Undecidable decision problem introduced by Emil Post

From Wikipedia, licensed CC BY-SA 4.0.