标签： context-free-grammar
我如何为以下语言编写无上下文语法：
{a^x b^y c^z | x >= 0, y >= 0, z >= 0, y = x + z}
答案 0 :(得分：-1)
请注意
b^y = b^(x+z) = b^x b^z
因此您可以将规范重写为：
a^x b^x b^z c^z
设L = a^x b^x, x >= 0，R = b^z c^z, z >= 0
a^x b^x, x >= 0
b^z c^z, z >= 0
我认为你应该能够从那里填补其余部分......