为这种语言提供一个 CFG

Question

语言是：{0n1m|n=2m}

我需要根据这种语言给出一个 CFG，但我无法弄清楚。已经一个小时了，我非常沮丧，有人有任何提示/线索吗？

Answer 1

好问题。这是一个开始。第 1 步：记下起始变量。第 2 步：找到写下来的 var 和将该 var 作为左侧的规则。将 var 替换为规则的右侧。第 3 步：重复 2，直到没有更多的 var 剩余。