第四章 语法分析.pptVIP

* * * * * * * * 4.2 语言和文法 例 算术表达文法 E ? E + T | T （ T + T . . . + T ） T ? T ? F | F （ F ? F . . . ? F ） F ? ( E ) | id 消除左递归后文法 E ? TE ? E ? ? + TE ? | ? T ? FT ? T ? ? ? F T ? | ? F ? ( E ) | id 4.2 语言和文法 非直接左递归 S ? Aa | b A ? Sd | ? 先变换成直接左递归 S ? Aa | b A ? Aad | bd | ? 再消除左递归 S ? Aa | b A ? bd A? | A? A? ? adA? | ? 4.2 语言和文法 4.2.7 提左因子 有左因子的文法 A ???1 | ??2 提左因子 A ? ? A? A? ? ?1 | ?2 4.2 语言和文法 例 悬空else的文法 stmt ? if expr then stmt else stmt | if expr then stmt | other 提左因子 stmt ? if expr then stmt optional_else_part | other optional_else_part ? else stmt | ? 形式语言 产生式形式为：xAy -x?y 产生式形式为：A-aB , A-a , A-? 产生式形式为：A - ? ⑶ 2 型语言 由 2型文法定义 ⑵ 1 型语言 由 1型文法定义 ⑴ 0 型语言 由 0型文法定义 产生式形式为：? - ? ⑷ 3 型语言 由 3型文法定义 又称 无限制文法！ 又称 上下文有关文法！ 又称 上下文无关文法！ 又称 正规文法！ 【注】 四类语言为 包含关系，且有 L0 ?L1 ? L2 ? L3； 编译处理中，主要应用后两种文法！ 乔姆斯基 艾弗拉姆·诺姆·乔姆斯基（英语：Avram Noam Chomsky，1928年12月7日－） 美国哲学家、语言学家、认知学家、逻辑学家、政治评论家。乔姆斯基是麻省理工学院语言学的荣誉退休教授，他的生成语法被认为是20世纪理论语言学研究上的重要贡献。 句法结构 《句法结构》是乔姆斯基介绍转换生成语法的《语言学理论的逻辑结构》一书的精华版。这一理论认为说话的方式（词序）遵循一定的句法，这种句法是以形式的语法为特征的，具体而言就是一种不受语境影响并带有转换生成规则的语法。 儿童被假定为天生具有适用于所有人类语言的基本语法结构的知识。这种与生俱来的知识通常被称作普遍语法。 练习 文法 S-aSbS | bSaS | ε 产生的语言是什么？该文法是否有二义性？ 下面的二义文法描述命题验算公式的语法，为他写一个等价的非二义文法 S-S and S | S or S| not S| p | q | (S) 练习 文法 R-R|R | RR | R* | (R) | a | b 产生字母表{a,b}上所有不含ε的正则式。为该文法写一个等价的非二义文法。 练习 考虑文法 S-(L) | a L-L,S | S 建立句子(a,(a,a))和(a,((a,a),(a,a)))的分析树 为（a）的两个句子构造最左推导 为（a）的两个句子构造最右推导 这个文法产生的语言是什么？ * * * * * * * * * * * * * * * * * * * * * * 第四章 语法分析 第四章 语法分析 本章内容 上下文无关文法 自上而下分析和自下而上分析 围绕分析器的自动生成展开 词 法 分析器 记 号 取下一个记号 源程序 分析树 前端的 其余部分 分析器 中间表示 符号表 上下文无关文法 4.1~4.3 4.1 上下文无关文法 4.1.1 上下文无关文法的定义 正则式能定义一些简单的语言，能表示给定结构的固定次数的重复或者没有指定次数的重复 例：a (ba)5, a (ba)* 正则式不能用于描述配对或嵌套的结构 例1：配对括号串的集合 例2：{wcw | w是a和b的串} 4.1 上下文无关文法 上下文无关文法是四元组（VT , VN , S, P） VT : 终结符集合 VN : 非终结符集合 S : 开始符号，非终结符中的一个 P : 产生式集合， 产生式形式 : A ? ? 例 ( {id, +, ?, ?, (, )}, {expr, op}, expr, P ) expr ? expr op expr expr ? (expr)