用这种语言构造一个无上下文的语法

Question

语言：{a ^ m b ^ n：m≤2n}

如果有人可以提供关于如何构建语法的建议，以及一个非常好并且非常感激的解决方案！

Answer 1

一些提示：

1. 以{a ⁿ b ⁿ |的语法开头n在N}。

2. 你在第（1）部分建立的语法可能是通过在字符串的一侧放置一个而在另一侧放置b来实现的。这样，最终得到的是a和b的相同数量。尝试修改语法，这样你就可以在每一步中放下一个或两个a。

希望这有帮助！