9 是否有一套规则或方法可以将任何上下文无关的语法转换为下推自动机？ 我已经在网上找到了一些幻灯片，但是我听不懂。 在幻灯片10中，他谈到了一些规则，有人可以解释吗？ context-free formal-grammars pushdown-automata simulation — 马卡卡斯 source 2 检查维基百科，以及这个问题。这个想法是在堆栈上生成单词（使用语法），并将其与输入匹配。关键是要做到这一点在并行-产生所述字的一部分，检查它，产生更多一些，检查它，等等 — 冉G. 2 包含该主题且易于理解的视频：youtube.com/watch? — Ran G.
1 此演示文稿的幻灯片7给出了此构造的实际规则。维基百科将这些规则称为“匹配”和“扩展”。 您使用的幻灯片似乎来自Jeff Ullman的一门课程。（关于形式语言和自动机的著名著作的作者之一）。他还准备了关于该主题的在线课程，我想他将在其中自己解释细节。 — 亨德里克·扬 source