📜  门| GATE-CS-2009 |第 60 题

📅  最后修改于: 2021-09-26 03:24:45             🧑  作者: Mango

令 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\}这是上下文无关的,但不是常规的。
这个问题的测验