第三章 文法和语.pptVIP

第三章?文法和语言 —文法的目的在于描述程序设计语言 本章主要内容： 3.1 形式语言简介 3.2 文法及语言的形式定义 3.3 文法的类型 3.4 语法树与句型的分析 几个基本定义： 语言 语法 语义 文法 字母表 符号 符号串 语 言 是记号系统 是句子的集合 包含语法和语义两方面的内容 描述语言就是描述语言的所有句子 语 法 是一组规则，用来定义什么样的符号序列是合法的而与符号的含义无关 语 义 符号、符号序列、片段等的含义 静态语义 动态语义 语法分析和语义分析的比较 语法分析是对语言的形式（符号序列）的判断，语义分析是对语言内容的判断 语法分析较易，语义分析较难 对形式的判断常用的手段是上下文无关文法，对内容的判断无法用上下文无关文法 文 法 定义语法的一组规则就是文法 这些规则可以对语言的形式进行描述，即文法是阐明语法的工具 文法以有穷的集合刻划了无穷的集合 字母表 基本符号集是字母表 符 号 字母表中的元素称为符号 符号串 字母表中的元素组成的任何有穷序列 符号串可以是所定义的语句,也可以不是语句 可以使用字母表示符号串 字符串的长度 空字符串 符号串的首尾 符号串的省略写法 符号串的连接 符号串的方幂 符号串集合 句型分析算法 从上而下分析法 从下而上分析法 从上而下分析—推导 推导：如果用若干次规则式可从符号串X推导出符号Y，则称Y为X的推导。即从文法的开始符号出发，反复使用各种产生式，寻找“匹配”于输入符号串的过程 长度为n的推导 若存在直接推导的序列： V=W0?W1?W2???Wn=W（n0） 则称V推导出W,推导长度为n。 从下而上分析 从输入符号串开始，逐步进行“归约”，直至归约到文法的开始符号 V=W0?W1?W2???Wn=W（n0），称W归约到V。记作V + W 有害规则：指形如U→U的产生式，该种产生式对描述语言是没有必要的，只会引起文法的二义性 多余规则：指文法中连一个句子的推导都用不到的规则，分为不可达到和不可终止两种情况 重新审视例: 词法例子的结论 单词归根结底是一个符号串 这些符号处在一个基本符号集中 基本符号集是一非空有穷集合 单词符号是基本符号按一定规则构成的基本符号串，是定义在基本符号集上的 结论 集合中的各元素归根结底都是符号串 这些符号处在一个基本符号集中 基本符号集是一非空有穷集合 集合中的任一元素都是基本符号按一定规则构成的基本符号串，是定义在基本符号集上的 词法、语法分析问题实际是判断所给符号串是否是集合中的元素的问题 文法的递归性：说A是直接左递归的，其 规则式为：A→ A… 说A是直接右递归的，其规则式为： A→ … A 若有推导式：A ?+ A…，说A是左递归的 若有推导式：A ?+ …A，说A是右递归的 文法的递归性 表达式 项 因子 §3.4 语法树与句型的分析 1.语法树 语法树：按推导过程，画出一棵树型结构称为语 法树。 语法树：设G=（VN ，VT，P，S）是给定文法，则满足下面条件的树称为G的一棵语法树，也叫推导树。 ⑴每个结点都有标记，该标记是G中的某一终极符 或非终极符。 ⑵树根的标记是文法的开始符S。 ⑶若结点的标记为A，并且它至少有一个从它出来的分枝，则A一定是非终极符。 子树：由某一结点及其所有分枝组成的部分称为原树的一棵子树。 简单子树：只有单层分枝的子树称为简单子树。 ⑷如果标记为A的结点有n个从它出来的分枝，并且这些分枝结点的标记从左至右分别为A1，A 2，… An，则A→A1，A 2，… An一定是G的一个文法规则式。 规范推导：设xUy ? xuy 是一个直接推导。如果y是终极符串或空，即U是句型xUy中的最右非终极符，则称这种推导为规范直接推导。记为： xUy ?r右 xuy （XUy ?r右 Xuy ） 若推导x ?+ y中的每步都是规范直接推导， 则称该推导为规范推导。 并记为x ? +r右 y，也称为最右推导。 短语：设G为给定文法，S是开始符，W= xuy是一个句型，如果满足下面两个条件： ① S ?*xUy ② U?+u 则称句型xuy中的子串u为句型xuy相对于非终极符U的短语。 直接短语（简单短语）：如果满足条件 ① S ?* xUy ② U ? u 则称u为句型xuy的直接短语（简单短语）。 第二个条件表示有文法规则式U?u存在。 句柄：一个句型多个简单短语中最左边的直接短语称为该句型的句柄。 2、句型的分析 自上而下的分析 从根符号开始的对句型构造的语法树的方法是从上向下分析的方法。 自下而上的分析 从输入串开始，逐步进行“归约”，直至