That's reminicient of the post correspondence problem. Is the PCP still undecidable for sets of three strings?
I don't think that is known. But the limit is low, something like five
alt Hacker News
I don't think that is known. But the limit is low, something like five