Language L1 is defined by the grammar: S1 -> aS1b | ε
Language L2 is defined by the grammar: S2 -> abS2 | ε考虑以下语句：
P: L1 is regular
Q: L2 is regular以下哪一项是正确的?
(A) P 和 Q 都为真
(B) P 为真，Q 为假
(C) P 为假，Q 为真
(D) P 和 Q 都是假的答案： (C)
说明： L1 具有这样的性质，即字符串中 a 的数量不应等于 b 的数量，并且所有 a 应在所有 b 之前。因此需要额外的内存来检查字符串的这个属性(不能为这种类型的语言构建有限自动机)。因此，这不是常规语言。因此P为假。
L2 具有 a 的不等于 b 的性质，但是这里 a 和 b 的顺序不同，是 (ab)*，不需要额外的内存来接受。(有限自动机可以被构建为这种语言)。因此 L2 是常规语言。因此 Q 为真。
这个问题的测验