0

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

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

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

1 回答 1

0

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

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

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

于 2016-10-27T09:07:10.340 回答