证明具有 k 个堆栈的 PDA 是图灵可识别的

Question

这曾经是一个家庭作业，但我现在用它来复习；但是这个问题没有解决方案。任何建议将不胜感激。

问题问： “假设 k-PDA 是一个可以访问 k 个堆栈的下推自动机。1-PDA 是标准 PDA，您已经看到 2-PDA 可以识别任何图灵可识别的语言。证明，对于任何 k ≥ 0，任何被识别为 k-PDA 的语言都是图灵可识别的。”

直接复制粘贴，有大神帮忙解决一下这个问题吗？另外，我觉得这写得不正确，但我不确定什么是正确的。

Answer 1

看来我们可以用多带（k-tape）图灵机来模拟k-pda的运动，而标准图灵机的运动可以模拟。