上下文無關語言的性質

上下文無關文法的範式 可以證明任何CFL都可以用只有A→BC或者A→α形式產生式的CFG產生，其中A，B和C是變元，而α是終結符。這種形式稱爲喬姆斯基範式(Chomsky Normal Form, CNF)。 爲了得到這種形式的CFG，我們需要做很多初步的簡化，而這些簡化方法本身在很多方面都很有用： 我們必須去除無用符號。所謂無用符號，是指不出現在任何由開始符號推導出一個終結符串的過程中出現的變元

>>阅读原文<<