Copyright © 2002 Elsevier Science B.V. All rights reserved.
Binary (generalized) Post Correspondence Problem
Received 15 August 2000;
revised 12 December 2000;
accepted 8 February 2001.
Communicated by A. Salomaa.
Available online 8 April 2002.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We give a new proof for the decidability of the binary Post Correspondence Problem (PCP) originally proved in 1982 by Ehrenfeucht, Karhumäki and Rozenberg. Our proof is complete and somewhat shorter than the original proof although we use the same basic idea.
Author Keywords: Post Correspondence Problem; Binary Post Correspondence Problem; Generalised Post Correspondence Problem; Marked Morphisms; Decidability







E-mail Article
Add to my Quick Links

Cited By in Scopus (6)






