野牛 - 结果如何？

Question

我知道使用bison我得到一个解析器LALR，但是说这个解析器是确定性有限自动机（和带有栈的确定性有限自动机）是真的吗？

Answer 1

不，野牛的结果是deterministic pushdown automaton，不是有限自动机。这是一个完全不同的自动机类。

当然，由于它在物理计算机中运行，因此它具有有限的限制（它不允许无限的堆栈空间），但作为理论构造，它与有限自动机完全不同。您可以在某种程度上将DPDA描述为“只是”DFA加上无限堆栈，但这确实错过了重点。