第2章高级语言及其文法要点.ppt

* * 短语(Phrase) 定义2.27 设有CFG G=(V，T，P，S)，?α，γ，β∈(V∪T)*，S γAβ，A α，则称α是句型γαβ的相对于变量A的短语(phrase)； 如果此时有A?α，则称α是句型γαβ的相对于变量A的直接短语(immediate phrase) 在无意义冲突时，简称为句型γαβ的直接短语。直接短语也叫做简单短语(simple phrase)。 定义2.28 设有CFG G=(V，T，P，S)，G的句型的最左直接短语叫做句柄(handle)。 * * 例：(直接)短语 E?E+T ?T+T ?F+T ?(E)+T ?(E+T)+T ?(E+T)+T ?(T+T)+T ?(F+T)+T ?(id+T)+T ?(a+T*F)+T ?(a+F*F)+T ?(a+b*F)+T ?(a+b*c)+T ?(a+b*c)+F ?(a+b*c)+d E→E+T|T T→T*F|F F→(E)|id * * 句柄(Handle)：最左直接短语 T→T* F|F E→E+T|T F→( E )| id E?E+T ?T+T ?F+T ?(E)+T ?(E+T)+T ?(E+T)+T ?(T+T)+T ?(F+T)+T ?(id+T)+T ?(a+T*F)+T ?(a+F*F)+T ?(a+b*F)+T ?(a+b*c)+T ?(a+b*c)+F ?(a+b*c)+d * * 用子树解释短语，直接短语，句柄 短语：一棵子树的所有叶子自左至右排列起来形成一个相对于子树根的短语。 直接短语：仅有父子两代的一棵子树，它的 所有叶子自左至右排列起来所形成的符号串。 句柄：一个句型的分析树中最左那棵只有父子两代的子树的所有叶子的自左至右排列。 例如，对表达式文法G[E]和句子a1+a2*a3，挑选出推导过程中产生的句型中的短语，直接短语，句柄 * * E ?E+T ?T+T ?F+T ? a1+T ? a1+T*F ? a1+F * F ? a1+a2 *F E+T T,T+T F,F+T a1, a1+T a1, T*F, a1+T*F a1, F,F*F, a1+F*F a1, a2,a1+ a2 *F, a2 *F a1, a2, a3, a2 * a3 a1+ a2 *a3 E E + T T F a1 T * F F a2 a3 ?a1+a2 *a3 短语 * * 例 短语与分析树 (文法E→E+E|E*E|(E)|id ） E E + E id E E * id id 一棵子树的叶子！ * * id+id*id的不同推导E→E+E|E*E|(E)|id E ? E+E ? id+E ? id+E*E ? id+id*E ? id+id*id E ? E+E ? E+E*E ? E+E*id ? E+id*id ? id+id*id E ? E*E ? E+E*E ? E+id*E ? id+id*E ? id+id*id 不做限制 句型 (sentential Form) （归约） E ?* id+id*id 施于最右变量 右句型/规范句型 (canonical ~) (最左/规范归约) E ?+ id+id*id 施于最左变量 左句型(left-~) （最右归约） E?5 id+id*id * * 最左推导与最右推导 最左推导(Left-most Derivation) 每次推导都施加在句型的最左边的语法变量上。——与最右归约对应 最右推导(Right-most Derivation) 每次推导都施加在句型的最右边的语法变量上。——与最左归约（规范规约）对应的规范(Canonical)句型 * * 2.6 CFG的二义性 对同一句子存在两棵语法分析树 在理论上不可判定 E E * E id E E + id id E E + E E E id * id id * * 文法的二义性 1. 描述一个句子的文法不是唯一的； 2. 对于一个句子的分析应是唯一的。 考虑表达式下面的文法 G[E],其产生式如下： E?E+E?E*E? (E) ? a 对于句子a+a*a, 有如下两个最左推导： E?E+E ?a+E ?a+E*E ?a+a*E ?a+a*a E ?E*E ?E+E*E ?a+E*E ?a+a*E ?a+a*a * * E?E+E ?a+E ?a+E*E ?a+a*E ?a+a*a E ?E*E?E+E*E ?a+E*E?a+a