pushdown-automaton - 在这种情况下，下推自动机有用吗？

Question

在大学里，他们要求我使用语法和下推自动机来检查部分 Java 代码的语法。由于我以前没有使用过这个自动机，所以我对它们的工作原理有所了解，我认为这个自动机在检查代码语法方面不是很有用，因为下推自动机用于验证任何标记之间具有一定比例的语法像“0^n 1^2n | n >= 0”。

代码语法中不存在令牌之间的这种比例，因此我认为下推自动机在这种情况下没有用。

• 我是正确的？
• 我必须抱怨他们要求我做的这项工作吗？

Answer 1

非确定性下推接受器（NPDA）和上下文无关语法（CFG）在表示语言方面具有相同的能力。

由于大多数（如果不是全部）编程语言（如 java）语法可以由 CFG 呈现，它也可以由 NPDA 呈现。

所以，不要抱怨，做任务。