決定論的プッシュダウン オートマトンをチューリング マシンに変換する方法はありますか? テープの入力の後に「#」を挟んでスタックを置くことを考えました。しかし、それを正式に証明するのはちょっと不可能のようです。
何か提案はありますか？誰かがすでにそれをしましたか？
ありがとうございました
決定論的プッシュダウン オートマトンをチューリング マシンに変換する方法はありますか? テープの入力の後に「#」を挟んでスタックを置くことを考えました。しかし、それを正式に証明するのはちょっと不可能のようです。
何か提案はありますか？誰かがすでにそれをしましたか？
ありがとうございました