【发布时间】：2016-12-01 11:27:45
【问题描述】：
我希望将 PDA 转换为 DFA。 PDA 的堆栈永远不会包含超过 n 个符号。
我们将不胜感激。
谢谢
【问题讨论】：
标签： automata dfa pushdown-automaton
【发布时间】：2016-12-01 11:27:45
【问题描述】：
我没有完整的解决方案，只有一个想法：对于将符号 s 推入堆栈的每个转换，您必须将子图复制到下一个弹出转换。新的子图必须接受与 PDA 中 s 的相应子图相同的子字符串。当您搜索此类转换时，您必须从内向外进行，这样子图中就没有内部推动和弹出。因此，第一次替换将包含两个转换，并且进一步的子图变得越来越大。
【讨论】：