CFG定义一种语言

Question

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

我已经拥有的是 S：aSc | T | ABS T：bT | cT | ԑ

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

Answer 1

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