Post Correspondence Problem

We solve three problems of the Post Correspondence Problem, as found in Michael Sipser's "Introduction to the Theory of Computation".

Advertisements