_15组成，那此时解便不存在。这是由于formula_14 的倒数两个字符都是不同的，而formula_15则都是由相同的两个字符组成的。
不可判定性证明思路.对波斯特对应问题不可判定性的证明，一种最常见的思路是：先证明对一个图灵机formula_18及输入formula_19都能构造出波斯特对应问题的一个实例，使得匹配就是formula_18在formula_19上的接受计算历史。如果能判定这个波斯特对应问题的实例是否有匹配的话，那图灵机是否接受输入的问题也就是可判定的了。由于图