A dataset of instances and solutions (if they exist) for Post’s correspondence problem
Examples
Basic Examples
Retrieve the resource:
Out[1]= |  |
Retrieve the default content:
Out[2]= |  |
Find the correspondences for the first example:
Out[3]= |  |
Find the solution for the first example:
Out[4]= |  |
Use the solution for the first problem:
Out[5]= |  |
Confirm that the strings are the same:
Out[6]= |  |
Out[7]= |  |
Make a graphical version of the solution for the 10th problem:
Out[8]= |  |
Show each step of the solution for the 5th problem:
Out[9]= |  |
Bibliographic Citation
Wolfram Research,
"Solutions to Examples of Post’s Correspondence Problem"
from the Wolfram Data Repository
(2017) https://doi.org/10.24097/wolfram.68271.data
Data Resource History
Publisher Information