[whatshisface]

That's reminicient of the post correspondence problem. Is the PCP still undecidable for sets of three strings?

[petters]

I don't think that is known. But the limit is low, something like five