上下文无关语言的性质

上下文无关文法的范式 可以证明任何CFL都可以用只有A→BC或者A→α形式产生式的CFG产生，其中A，B和C是变元，而α是终结符。这种形式称为乔姆斯基范式(Chomsky Normal Form, CNF)。 为了得到这种形式的CFG，我们需要做很多初步的简化，而这些简化方法本身在很多方面都很有用： 我们必须去除无用符号。所谓无用符号，是指不出现在任何由开始符号推导出一个终结符串的过程中出现的变元

>>阅读原文<<