3.第二章高级语言及其文法2试卷.pptVIP

第2章 高级语言及其文法（2） 本章主要内容 2.1 语言概述 2.2 基本定义(语言、句子、形式化方法、串、字母表、串的连接与幂、产生式) 2.3 文法(Grammar)的定义 2.4 CFG的语法(分析)树(Parse Tree) 2.5 文法的分类 2.6 文法的构造 表示依据文法进行的变换 E ? E + E （1） ? E * E + E （2） ? id * E + E （4） ? id * E + id （4） ? id * id + id （4） 4 E→id 5 E→E-E 6 E→E/E E可以变成E+E E+E中的第一个E变成E*E E*E+E 变成id*E+E id*E+E变成id*E+id id*E+id变成id*id+id E经5步变换变成id*id+id： E ?5 id* id +id 1 E→E+E 2 E→E*E 3 E→(E) 实质是从E开始依据产生式对所得串中的特定部分进行变换，不断获得新的串，最终得到目标 变换的分析 实质是从E开始依据产生式对所得串中的特定部分进行变换，不断获得新的串，最终得到目标 E*E ? 依据产生式E →E+E E*E+E ? αAβ 依据产生式A →γ αγβ 直接推导与归约 根据产生式对符号串进行变换的过程 Ａ→γ是文法Ｇ的一个产生式， 且α、β∈（ＶT∪ＶN）*， 称αＡβ的直接推导/派生(Derive)出αγβ，也称 αγβ直接归约(Reduce)为αＡβ。 记为 αＡβ?αγβ 例： id + E?id + E * E （多步）推导/归约 α0?α1?α2 ?…?αn 记为 α0?n αn (恰用n步) α0?+ αn （至少一步） α0?* αn （若干步:零步或多步） E ?5 id* id +id 推导/归约回顾 E ? E + E （1） 串中含有变量 ? id + E （4） 串中含有变量 ? id + E * E （2） 串中含有变量 ? id + id * E （4） 串中含有变量 ? id + id * id （4） 串中没有变量 到此串中已经没有（语法）变量了，不能再推了——得到句子 1 E→E+E 2 E→E*E 3 E→(E) 4 E→id 句型与句子 E ? E + E ?E + E * E E ?4 id + id * E 定义:如果S?*α，α∈(ＶT∪ＶN)*则称α是G产生的一个句型(Sentential Form) E ?5 id + id * id 定义:如果S ?* x，且x∈ＶT* ，则称x是G产生的一个句子(Sentence) 文法G产生的语言 定义： L(G)={x|S?*x and x∈VT*} 文法 E→E+E|E*E|(E)|id可以派生出多少个句子？ 文法G的作用——语言的有穷描述 以有限的规则描述无限的语言现象 有限:产生式集合、终结符集合、非终结符集合 无限：可以导出无穷多个句子 （注：L也可是有穷） 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)句型 短语(Phrase) Ｓ?* αＡβ ? + αγ β ？？就自然语言而言，γ在αγβ中叫什么？） 如果Ｓ?* αＡβ A?γ 则称γ是句型αγβ的相对于变量A的直接短语 最左直接短语叫做句柄(Handle) 如果Ｓ?* αＡβ A?+γ，则称γ是句型αγβ的相对于变量A的短语 例：句型的短语与直接短语 E?E+T ?T+T ?F+T ?(E)+T ?(E+T)+T ?(E+T)+T ?(T+T