标签： compiler-construction computer-science context-free-grammar
我需要为这种语言生成一个无上下文语法L = {a ^ i b ^ j c ^ k | i，j，k≥0，i = j或i = k}
你们认为上面的语法可以正确定义语言吗？如果没有，有什么更好的建议吗？
答案 0 :(得分：0)
不，该语法没有正确定义语言。例如，它接受“bc”。