检查给定CF语法的常规语言

Question

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

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

Answer 1

没有通用的方法。对于无上下文的语言，规律性是一个不可判定的问题。

在你的具体案例中，正如J Earls指出的那样，你可以得出的唯一一个词是空字。使用与S - >不同的规则的所有推导;永远不会终止。因此，语言是有限的，因此是有规律的。