标签： context-free-grammar
我试图为以下语言提出无上下文语法：
L = {a m b n c m + n | 0＆lt; = n＆lt; = m}
我的想法是我可以将其重写为
L = {a m b n c n c m | 0＆lt; = n＆lt; = m}
然后创建语法
S - ＆gt; aSc |乙
B - ＆gt; bBc | ^
问题是这个语法不能捕获0＆lt; = n＆lt; = m并且我无法弄清楚如何做到这一点。任何帮助将不胜感激。