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以下哪一项是TRUE?
(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为真。
这个问题的测验