埃米尔·波斯特(Emil Post)在1946年提出的邮政对应问题(PCP)是一个不确定的决策问题。字母∑上的PCP问题表示如下-

给定以下两个列表，∑ −上的M和N个非空字符串

M =(x ₁ ，x ₂ ，x ₃ ，………，x _n )

N =(y ₁ ，y ₂ ，y ₃ ，………，y _n )

我们可以说，有一个Post通信解决方案，如果出于某种I _{1，I 2，…………} I _K，其中1≤I _J≤n，则条件X _I1 …… .X _IK = Y _I1 ……。 y _ik满足。

例子1

查找列表是否

M =(abb，aa，aaa)和N =(bba，aaa，aa)

有邮政信函解决方案?

解

这里，

x ₂ x ₁ x ₃ =’aaabbaaa’

和y ₂ y ₁ y ₃ =’aaabbaaa’

我们可以看到

x ₂ x ₁ x ₃ = y ₂ y ₁ y ₃

因此，解为i = 2，j = 1，k = 3。

例子2

找出列表M =(ab，bab，bbaaa)和N =(a，ba，bab)是否具有邮政对应解决方案?

解

在这种情况下，没有解决办法，因为-

| x ₂ x ₁ x ₃ | ≠| y ₂ y ₁ y ₃ | (长度不一样)

因此，可以说这个函授问题是不确定的。