检查常规语言是否给定 CF 语法

Question

我有这个语法
S->aSbA S->e A->aB B->bA

我如何确定语言是否正常？ 我的问题是 A 和 B 没有终端字符，所以我不知道它会产生什么语言。

Answer 1

对此没有通用的方法。 正则性是上下文无关语言的一个不可判定的问题。

在您的具体情况下，正如 J Earls 指出的那样，您可以得出的唯一词是空词。 所有使用不同于 S -> e 的规则的推导永远不会终止。 因此，语言是有限的，因此是有规律的。