国际空间研究组织 | ISRO CS 2017 |问题 22

考虑带有产生式的语法

S → aSb | SS | ϵ

这个语法是

(A)不是上下文无关的，不是线性的
(B)不是上下文无关的，线性的
(C)上下文无关的，非线性的
(D)上下文无关的，线性的答案： （C）
解释：根据 Chomsky Hierarchy，上下文无关文法 (CFG) 与每个产生式都遵循产生式规则 A → B，其中 A 是单数非终结符，B 是终结符和非终结符的集合。因此，给定的语法是上下文无关的。

根据线性文法是一种上下文无关文法，它的每个产生式的右侧最多有一个非终结符。因此，由于 S → SS 产生式，给定语法不能是线性的。

所以，选项（C）是正确的。
这个问题的测验