标签： complexity-theory theory computation
我一直在寻找几个小时，但我无法找到任何有关第一步为什么的好解释，即“添加新的开始符号S_0 - ＆gt; S＆＃39;对于将语法转换为乔姆斯基范式非常重要。我从教科书中找到的唯一解释是，它保证了任何规则的RHS都不会出现新的起始变量。有人可以进一步详细说明吗？ RHS上的起始符号的出现会不会很糟糕？它是否已经通过删除单位规则来处理？任何澄清将不胜感激:)