【发布时间】：2014-05-28 13:11:14
【问题描述】：
我需要为这种语言生成一个上下文无关语法 L= { a^i b^j c^k | i, j, k ≥ 0 , i = j 或 i = k }
我已经拥有的是 S : 升序 | T |抗体 T : bT | ct |瑾
你们认为上面的语法可以正确定义语言吗？如果没有，有没有更好的建议？
【问题讨论】：
标签： compiler-construction computer-science context-free-grammar
【发布时间】：2014-05-28 13:11:14
【问题描述】：
不，该语法没有正确定义语言。例如，它接受“bc”。
【讨论】：
-
谢谢，我想我可以生成两种语法，一种用于 i = j，另一种用于 i = k，然后将两种语法结合起来定义语言。