接受语言的语法：{a ^ i b ^ j c ^ i：i，j＆gt; = 1，j / = i}？

Question

接受＆＃39; a，b，c＆＃39;的字符串语言的上下文无关语法是什么？其中＆＃39; a＆＃39;的出现次数匹配＆＃39; c＆＃39;和b显示任意次数，但不能匹配＆＃39; a＆＃39;和＆＃39; c＆＃39;。

ie：L（{a ^ i b ^ j c ^ i：i，j＆gt; = 1，j / = i}）

编辑评论：@Vladp这看起来并不正确