I left my position at Goethe University in March 2015. This page is outdated. Current information (including downloads) can be found on my main page
pcp.py is a little script that tries to find all minimal solutions of an instance of the Post Correspondence Problem.
You need to install Python 3
on your computer (Python 2 will not work). Then download pcp.py
. You can then run
for an example. (Depending on your system, you can give
executable rights and run it directly.)
Right now, changing the instance of the PCP and the bound on the length of the solution search requires (trivial) changes to the code. Code is not really optimized and barely commented, sorry about that. Also, solutions are presented as an ASCII graphic, which assumes lines of unbounded length. If you do not like this, you should redirect the output of the code into a file and handle this in some way. Or just rewrite the code.
Authors and license
Implemented by Dominik D. Freydenberger
. If you care about this stuff, you are probably better off implementing it from scratch. But you never know, so I put it under the MIT License.
last modified: Wed Jan 13 16:39:43 2016 by Dominik D. Freydenberger