门| Sudo GATE 2020 Mock I（2019 年 12 月 27 日）|第 40 题

考虑以下语法：

S →  aSc|AT|TB|TC|TBC
T →  aTb| ε
A →  Aa | a
B →  Bb | b
C →  Cc | c

关于上述语法生成的语言，以下哪个选项是正确的?
(A) {a ⁱ b ^2j c ^k | i = j , k = 2i }
(B) {a ⁱ b ^j c ^k | i = j = k}
(C) {a ⁱ b ^j c ^k | i≠j+k}
(D) {a ⁱ b ^j c ^k | i≠k，i=j+k}答案： (C)
解释：

S →  aSc|AT|TB|TC|TBC
T →  aTb| ε
A →  Aa | a
B →  Bb | b
C →  Cc | c

上述语法生成的语言是 {a ⁱ b ^j c ^k | i≠j+k}
所以，选项(C)是正确的。
这个问题的测验