Abstract
In this paper, we define the symmetric Post Correspondence Problem (PCP) and prove that it is undecidable. As an application, we show that the original proof of undecidability of the freeness problem for [Formula: see text] integer matrix semigroups works for the symmetric PCP, but not for the PCP in general.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have