grammar - 此语言的上下文相关语法

Question

语言 X = { 0^m 使得 m = 2n+1 其中 n >= 0}

有人可以帮我找到 X 的上下文相关语法吗？我已经尝试了很多年，但我仍然没有接近。

我现在拥有的：

S -> B0C|00

B0 -> DD0|00

BD -> DD

0C -> 0EE|00

欧共体-> EE

D -> B

E -> C

但这不起作用。我不知道如何将零的数量加倍。

Answer 1

为什么不只使用一个简单的语法（在这种情况下甚至是上下文无关的，尽管我也可以制作一个不是），例如：

S -> 0 | 00S