语法分析文法与语言形式语言基础教学课件.ppt

第三章：语法分析  文法与语言 文法的分类 文法的相关概念 内容介绍 文法与语言 文法的相关概念 文法的分类 1.1 语言的语法 文法的产生：自然语言与程序设计语言的区别 语言的三个基本要素：语法、语义、语用 1.2 高级语言语法的表示形式 BNF： 语法成分::=组成部分 赋值语句::=变量=表达式 变量::=标识符|下标变量|指针变量... 表达式::=算术表达式|逻辑表达式... 上下文无关文法 产生式规则形容规则： P(语法符号)?X1X2...Xn 赋值语句?变量=表达式 1.3 文法的定义 文法的定义 一个文法G是一个四元组: G = ( VN, VT, S, P ) 其中： VT (Terminal Vocabulary)是一个非空的有限集合，它的每个元素称为终极符号或终极符，一般用小写字母表示。 从语法分析的角度看，终极符号是一个语言不可再分的基本符号。 VN ( Nonterminal Vocabulary ) 是一个非空的有限集合，它的每个元素称为非终极符号、非终极符或中间符，一般用大写字母表示。非终极符是一个语法范畴，表示一类具有某种性质的符号。 注 ： 设V是文法G的符号集，则有: V = VN ∪ VT , VN ∩VT = ? S( Start )是特殊的非终极符号，称为文法的开始符号, S ∈ VN 。 P ( production )是产生式的有限集合。所谓的产生式，也称为产生规则（简称为规则），是按照一定格式书写的定义语法范畴的文法规则。 1.4 上下文无关文法 例子： G={VN,VT,P,S} VN={N,D} VT={0,1,2,...,9} P={N?D, N?ND, D?0|1|...|9} S=N 基本概念(1) 直接推导：如果A??是一个产生式，则有?1A?2??1??2,其中?表示一步推导。这时称?1??2是由?1A?2直接推导的，又称?1??2直接归约到 ?1A?2 。 ?的含义是，使用一条规则，代替?左边的符号，产生?右端的符号串。 A ?+ ?:表示A通过一步或多步可推导出? A ?* ?:表示A通过零步或多步可推导出? 基本概念(1) 句型：设有文法G，如果有S?* ? ，则称符号串?为G的句型 。我们用SF(G)表示文法G的所有句型的集合 句子：设?为文法G的一个句型，且?只包含终极符，则称?为G的句子 语言：L(G)={ u| S ?+u ,u ? VT* }。 文法G所定义的语言是其所有句子的集合。 1.5 基本概念与高级语言语法 每一种高级程序设计语言都有自己的语法 符合高级语言文法的程序就是该语法的句子 所有程序组成的集合就构成了语言。 1.5 基本概念与高级语言文法 PASCAL语言语法例子： 程序 → 首部声明部分程序体 首部 → progarm (运行环境) 声明部分 → var 标号声明常量声明类型声明过程函数声明 程序体 → begin语句序列end 语句序列 → 语句 语句序列|语句 语句 → 条件语句|循环语句|赋值语句|输入输出语句|过程调用语句... 1.6 验证程序是不是语法的句子 最基本的方法：采用类搜索算法，从开始符出发进行推导 用剪枝来提高效率 两种基本思想 自顶向下的语法分析：从开始符出发，根据定义看是否可以推导出程序。 自底向上的语法分析：从程序出发，用规则的左部替换规则的右部，一直到规约成开始符。 基本概念(2) 短语 设S是文法的开始符，有S?*?1A?2，如果有A ?+β 则称β是句型?1β?2的一个短语。 简单短语 设S是文法的开始符，有S?*?1A?2，如果有A ?β 则称β是句型?1β?2的一个简单短语。 句柄 句型中的最左简单短语称为句柄。 例：设有文法 G[S]: S ? cAdBf A ? ab | a B ? e |e B 考虑符号串$=cabdef. 基本概念(3) 设有文法G 直接左递归：若有E?E?形式的规则，则称E是直接左递归。 直接右递归：若有E??E形式的规则，则称E是直接右递归。 左递归：若有E?+E?，则称E是左递归。 右递归：若有E?+?E，则称E是右递归。 递归：若有E?+?1E?2 基本概念(3) 最左（右）推导： 如果