比较两个Push Down Automata

Question

我正在开展一个项目，要求我比较两个PDA，检查他们是否接受相同的语言。我已将这些PDA转换为相应的上下文自由语言，但我不知道如何继续进行。

Answer 1

对于CFL来说，平等问题是不可判定的 - 你可以通过将CFL的普遍性问题简化为HALT问题（图灵机上定义的一般问题）来证明，语言平等几乎只是缩小了普遍性。

我不确定你在做什么样的项目，但考虑使用DCFL，如果它是一个＆＃34;实用的＆＃34;问题，如果它的学术问题/家庭作业，你应该做我提到的更高的还原。

编辑：我不认为您可能只想将两个特定的语言作为一次性事物进行比较。不幸的是，没有办法概括答案，因为问题可能仍然是不可判定的。