CFG定義語言

Question

我需要為該語言生成上下文無關的語法L = {a ^ ib ^ jc ^ k | i，j，k≥0，i = j或i = k}

我已經擁有的是S：aSc | T | abS T：bT | cT | ԑ

你們認為上述語法可以正確定義語言嗎？ 如果沒有，還有什么更好的建議嗎？

Answer 1

不，該語法無法正確定義語言。 例如，它接受“ bc”。