Das Post Correspondence Problem (PCP) ist nicht zu entscheiden. Die beschränkte Version des PCP ist -vollständig und die markierte Version des PCP (die Wörter einer der beiden Listen müssen sich im ersten Buchstaben unterscheiden) ist in P S P A CN PNP\mathrm{NP} [1].P S P A C...