4 ms·

The Post Correspondence Programming Language: Domino-Oriented Programming

• spb 11y ago
  What are the practical implications and applications of this?
  • malisper 11y ago
    It shows that there are some problems (eg PCP), that are literally impossible to solve for every case. If you were able to come up with an algorithm that could do so, you would've found a solution to the halting problem, which we know is impossible. Other than that, it's just some person having fun compiling between two different esoteric programming languages.
• tomerv 11y ago
  If you find this interesting, take a look at FRACTRAN[1]. [1] https://en.wikipedia.org/wiki/FRACTRAN https://en.wikipedia.org/wiki/FRACTRAN
• gue5t 11y ago
  I was terribly confused because I thought this was referring to Post's Correspondence Principle: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.85 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.... This concerns instead the Post Correspondence Problem: https://en.wikipedia.org/wiki/Post_correspondence_problem https://en.wikipedia.org/wiki/Post_correspondence_problem Surprising namespace clash!