编译原理国防科技大学课件Chapt4.ppt

编译原理 第四章 语法分析—自上而下分析 第四章 语法分析—自上而下分析 本章主要介绍语法分析的处理 要进行语法分析，必须对语言的语法结构进行描述。 采用正规式和有限自动机可以描述和识别语言的单词符号； 用上下文无关文法来描述语法规则。 上下文无关文法的定义： 一个上下文无关文法G是一个四元式 G VT，VN，S，P ，其中 VT：终结符集合 非空 VN：非终结符集合 非空 ，且VT ? VN ? S：文法的开始符号，S?VN P：产生式集合 有限 ，每个产生式形式为 P??， P?VN， ? ? VT ? VN * 开始符S至少必须在某个产生式的左部出现一次。 例，定义只含+，*的算术表达式的文法 G i，+，*， ， ， E ，E， P ， 其中，P由下列产生式组成： E ? i E ? E+E E ? E*E E ? E 定义：称?A?直接推出???，即 ?A????? 仅当A ? ?是一个产生式， 且?， ?? VT ? VN * 。 如果?1 ? ?2 ? ? ??n，则我们称这个序列是从?1到?n的一个推导。若存在一个从?1到?n的推导，则称?1可以推导出?n 。 例：对文法 1 E ? E ? E+E ? i+E ? i+i 通常，用 表示：从?1出发，经过一步或若干步，可以推出?n。 4.1 语法分析器的功能