該語言的上下文相關語法

Question

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

有人可以幫我找到 X 的上下文相關語法嗎？ 我已經嘗試了很長時間，但我仍然沒有接近。

我現在擁有的是：

S -> B0C|00

B0 -> DD0|00

屋宇署 -> 屋宇署

0C -> 0EE|00

EC -> EE

D -> B

電子 -> C

但這不起作用。 我不知道如何將零的數量加倍。

Answer 1

為什么不只使用一個簡單的語法（在這種情況下甚至是上下文無關的，盡管我也可以創建一個不是的語法），例如：

S -> 0 | 00S