檢查常規語言是否給定 CF 語法

Question

我有這個語法
S->aSbA S->e A->aB B->bA

我如何確定語言是否正常？ 我的問題是 A 和 B 沒有終端字符，所以我不知道它會產生什么語言。

Answer 1

對此沒有通用的方法。 正則性是上下文無關語言的一個不可判定的問題。

在您的具體情況下，正如 J Earls 指出的那樣，您可以得出的唯一詞是空詞。 所有使用不同於 S -> e 的規則的推導永遠不會終止。 因此，語言是有限的，因此是有規律的。