找到这种语言的语法：a^(2k+z).c。 b^(k) 。 ^(z)

Question

所以我想找到这种语言的语法：a^(2k+z).c.b^(k).a^(z) 我才到这个地步：

`S - aaSa/X

X-aXa/Y

Y - c`

所以这会产生这样的词： aaaa.c.a.bb 那么我该如何在 bb 和 a

之间切换

我才到这里：

`S - aaSa/X

X-aXa/Y

Y-c `

Answer 1

所以你想生成

a^(2k+z).c.b^(k).a^(z)

。让我们由外而内地工作。

S = aXa | X.

其中 X =

a^(2k).c.b^(k)

会给你想要的。所以现在，

X = aaXb | .c.

给你里面。