第五章

第五章 歸約：是指根據文法的產生式規則，把產生式的右部替換成左部符號。 規範規約： 1）短語：        定義:令G是一個文法，S是文法的開始符號，假定abd是文法G的一個句型其中α,β,d∈(VN∪VT)*，A∈VN ，如果有               則b稱是句型abd相對於非終結符A的短語。 2）直接短語        特別是，如果有AÞb,則稱b是句型abd相對於規則A® b的直接短

>>阅读原文<<