门| GATE-CS-2009 |第60章

令L =L1∩L2，其中L1和L2是如下定义的语言：

L1 = { $a^{m}b^{m}ca^{n}b^{n}$ | m，n> = 0} L2 = { $a^{i}b^{j}c^{k}$ | i，j，k> = 0}

那么L是
(A)不递归
(B)常规
(C)上下文无关但不规则
(D)递归可枚举，但不是上下文无关的。答案： (C)
说明：语言L1接受字符串{c，abc，abcab，aabbcab，aabbcaabb，…}，而L2接受字符串{a，b，c，ab，abc，aabc，aabbc，…}。这两种语言的交集是$L1 \cap L2 = \{a^{k}b^{k}c | k >= 0\}$这是上下文无关的，但不是常规的。
这个问题的测验