https://5dok.net/document/y961dorr-decidability-and-undecidability-of-marked-pcp.html