为语言{a ^ n b ^ m |构造语法0＆lt; = n＆lt; = m＆lt; = 2n}

Question

我正在使用{a ^ n b ^ m |来搜索无上下文语法0 <= n <= m <= 2n}。 因此，也允许空字（epsilon）。关于它，我唯一需要做的事情是，b比a（或两者相等）多，并且不超过h的两倍。 目前我有以下语法：

S -> ab, aSbb, epsilon

对于b比a更多的条件，它的效果很好，并且最大值为2n，但问题是，它的b值恰好是a的两倍。 有没有想法如何解决我的语法的最后一个问题？ 感谢

Answer 1

语法是： S -> aSb | aSbb | ε