波斯特对应问题

波斯特对应问题（）是美国数学家埃米尔·波斯特（）于1946年提出的一个不可判定问题。

问题 
已知字母表是包含至少两个字符的有限集合。上的一个字符串是指由中字符组成的一个有限序列。假设和是由上的字符串所组成的两个相同长度的表。如果存在一个序列（，且对所有都有），使得
 
成立，那么就称上的这两个字符串表匹配。判定一个字母表上的任意两个长度相同的字符串表是否匹配的问题即是波斯特对应问题。

示例 
已知如下两个字符串表：

序列 (3, 2, 3, 1) 是这一波斯特对应问题的一个解：
 

i1 = 3

i2 = 2

i3 = 3

i4 = 1

将上述序列重复任意多次（例如：重复两次为 (3, 2, 3, 1, 3, 2, 3, 1)）得到的序列也都是此问题的解。

但如果两个字符串表仅由 和 组成，那此时解便不存在。这是由于 的倒数两个字符都是不同的，而则都是由相同的两个字符组成的。

不可判定性证明思路 
对波斯特对应问题不可判定性的证明，一种最常见的思路是：先证明对一个图灵机及输入都能构造出波斯特对应问题的一个实例，使得匹配就是在上的接受计算历史。如果能判定这个波斯特对应问题的实例是否有匹配的话，那图灵机是否接受输入的问题也就是可判定的了。由于图灵机的接受问题是个基本的不可判定问题，于是可以说明波斯特对应问题也同样是不可判定的。

参考文献 

计算理论