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

Question

这曾经是一个功课，但我现在正在将它用于修订目的;但是这个问题没有解决办法。任何建议都将不胜感激。

问题是： “让一个k-PDA成为可以访问k堆栈的下推自动机.1-PDA是一个标准的PDA，你已经看到2-PDA可以识别任何图灵可识别的语言。显示，对于任何k≥0，任何被认可的语言都是图灵识别的k-PDA。“

直接复制和粘贴，任何人都可以帮助解决这个问题吗？此外，我觉得这是错误的写，但我不确定什么是正确的。

Answer 1

似乎我们可以通过多磁带（k-tape）图灵机模拟k-pda运动，其运动可以通过标准图灵机进行模拟。