门| 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)是正确的。
这个问题的测验