我正在寻求解释如何证明计算模型是等价的。我一直在阅读关于这个主题的书籍，只是省略了等价证明。我有一个基本的想法，它意味着两个计算模型是等价的（自动机视图：如果他们接受相同的语言）。还有其他方法可以考虑等价吗？如果你能帮助我理解如何证明图灵机模型与lambda演算相当，那就足够了。
答案 0 :(得分：1)
要证明模型A等同于模型B，您需要证明：
A并不比模型B B并不比模型A 要显示模型X并不比模型Y强，必须证明：
对于X中的每台机器，Y中都有一台机器，L（M_X） = L（M_Y）
[其中M_X和M_Y分别是来自每个模型的不同机器]
一个众所周知的证据是：
有关此主题的更多信息，请参阅Turing machine equivalents
另请注意，声明：the automata view: if they accept the same languages并非如此。
您不需要在两个模型中显示相同的自动机接受相同的语言。
你需要证明，对于A中的每个自动机，B中有一个自动机，L（M_A）= L（M_B），反之亦然