以下语言的上下文无关文法，其中b和c的数量不相同

Question

L = {a^i b^j c^k | j =/ k where i,j,k >= 0}

这种语言表示b和c的数目不应该相同。

我得到了以下CFG：

L-> YF
F-> bFC | B | C
Y-> A | epsilon
A-> aA | a
B-> bB | b
C-> cC | c

它将拒绝abc。但是，该语言在不应该接受此字符串时接受字符串abbcc。关于如何解决此语法的任何想法？