Compiler construction 定义一种语言

我需要为这种语言生成一个上下文无关语法L={a^ib^jc^k | I，j，k≥ 0，i=j或i=k}

我已经拥有的是 S:aSc | T | abS T:bT | cTӟ

---

你们认为上面的语法能正确定义语言吗？如果没有，有没有更好的建议

不，语法没有正确定义语言。例如，它接受“bc”。

谢谢，我想我可以生成两个语法，一个用于I=j，另一个用于I=k，然后组合这两个语法来定义语言。