一种语言的上下文无关文法

Context free grammar for a language

我将如何为以下语言编写上下文无关语法:

{a^x b^y c^z | x >= 0, y >= 0, z >= 0, y = x + z}

请注意

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

我想你应该可以从那里填写剩下的...