将PDA转换为DFA

Question

我希望将PDA转换为DFA。 PDA的堆栈永远不会包含n个符号。

任何帮助将不胜感激。

谢谢

Answer 1

我没有完整的解决方案，只是一个想法：对于在堆栈上推送符号 s 的每个转换，您必须将子图复制到下一个弹出转换。新子图必须接受与PDA中 s 的相应子图相同的子字符串。当你搜索这样的过渡时，你必须从里到外，这样子图中就没有内推和弹出。因此，第一次替换将包括两次转换，而其他子图则变得越来越大。