生成语言a^i^2的语法？

Question

有谁能说明为语言构造语法所需的生产规则？

​

​

能用语法来描述吗？

编辑：

这是类似的，但有点“弱”的语法，因为你不是做权力，而是2的倍数。

​

​

它是上下文敏感的语法，我没有写下所有的规则，但想法是形式：

​

​

你用Y乘X，然后删除左边的Y。我想，也许你可以用超能产生Y，然后生成最后的X，回到正确的方向，但我认为这并不是真的。

你有什么想法吗？

Answer 1

我在这里找到了以下答案：http://www.mersenneforum.org/showthread.php?t=11676

S→LAYR ZA→aAZ Za→aZ ZR→AAYR aY→Ya AY→YA LY→LZ→→X aX→Xa AX→Xa LX→ε 由于n^2 =\sum_{i=1}{n} (2i-1)，在任何情况下，对于n=i，我们都有(i-1)^2 a's和(2i-1) a's，对于n=i+1，所有A都被转换成A's，然后继续前进。

虽然我还没有完全核实。