我想知道邮递问题 (PCP) 是否可识别。我学会了如何证明 PCP 的不可判定性。我也想使用类似的方法来识别可识别性，即考虑 MPCP 并显示它是否可识别。我不确定这是否是一个好方法。
【问题讨论】：
标签： turing-machines
邮政信函问题确实可以识别。以下是四种查看方式：
为它构建一个识别器。给定一组图块，您可以想象一个 TM 列出了恰好一个多米诺骨牌，然后正好是两个多米诺骨牌，然后正好三个多米诺骨牌，然后正好四个多米诺骨牌等，每次逐渐增加多米诺骨牌的数量。如果 TM 找到了顶部和底部匹配的一系列多米诺骨牌，那么它可以接受。否则会无限循环。
为其构建一个非确定性 TM。 设计一个非确定性 TM，给定一组图块，非确定性地猜测一系列要排列的图块，然后检查顶部和底部是否匹配。如果是，它接受；否则它拒绝。然后，这个 NTM 将接受任何“是”实例，因为它总能猜出一系列有效的多米诺骨牌，并且不会接受任何“否”实例，因为它永远无法猜出多米诺骨牌的有效顺序。
为其构建一个枚举器。 对所有瓷砖字符串的无限特里树运行广度优先搜索。对于每一串瓷砖，如果顶部的字符串与底部的匹配，则输出它。
为它构建一个验证器。输入是一组图块和一个可能的图块字符串。验证器检查该字符串中的所有图块是否都在图块集中，以及图块顶部和底部行上的字符串是否匹配。
【讨论】：