Consider the following grammar:

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

Which of the following option is correct regarding language generated by above grammar?
(A) {aⁱb^2jc^k | i = j , k = 2i }
(B) {aⁱb^jc^k | i = j = k}
(C) {aⁱb^jc^k | i ≠ j + k}
(D) {aⁱb^jc^k | i ≠ k, i = j + k}


Answer: (C)

Explanation:

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

Language generated by above grammar is {aⁱb^jc^k | i ≠ j + k}
So, option (C) is correct.

Quiz of this Question