标签： context-free-grammar computation-theory
我必须找出一个给定的语法是否包含使用编程语言而不是笔和纸的空字符串（epsilon）。 到处都是我看到的东西我发现了这个： 如果A→ε是生产，A可以为空 如果A→X1X2 ... Xn是生产，并且X1，X2，...，XnX1，X2，...，Xn都可以为空，则A可以为空。
问题是我没有像Xn->ε这样的东西。我有类似的东西 A-＆GT; BCA | BC B-＆以及c | A C-＆GT; BB | AA