文法与语言_00002.ppt

第二章 文法和语言 2.1 文法的基本概念 符号和符号串 文法和语言的形式定义 推导与递归 文法的分类 2.2 句型的分析 语法树 文法的约定 句型的分析方法 主要内容 本章讨论与编译实现相关的形式语言理论基本概念，主要内容有： 文法与语言的形式定义 Chomsky文法及其分类 上下文无关文法的主要特性 文法的等价变换 句型分析的概念 文法与语言 一个程序设计语言的确切定义是构造编译程序的重要前提。 文法被用来精确而无歧义地描述语言的构成方式. 文法描述语言的时候不考虑语言的含义。 2.1 语言和文法的直观概念 程序设计语言的定义 语言是一个记号系统。 汉语--符合汉语语法的句子的全体 英语--符合英语语法的句子的全体 程序设计语言--该语言的程序的全体 程序设计语言由语法和语义定义： 语法：定义每个程序构成的规则 语义：定义每个程序的意义 程序设计语言包括:语法和语义 语法(syntax) 定义: 是一组规则，用它可以形成和产生一个合适的程序 描述工具:文法 作用: 定义什么样的符号序列是合法的，与符号的含义无关。 语义(semantics) 分类: 静态语义：一系列限定规则，确定哪些合乎语法的程序是合适的 动态语义：表明程序要做什么 描述工具: 指称语义,操作语义等 作用: 检查类型匹配，变量作用域等 文法的直观概念 例:“我是大学生”是汉语的一个句子 用EBNF来表示汉语句子的构成规则： 〈句子〉∷=〈主语〉〈谓语〉 〈主语〉∷=〈代词〉｜〈名词〉 〈代词〉∷= 我｜你｜他 〈名词〉∷= 王明｜大学生｜工人｜英语 〈谓语〉∷=〈动词〉〈直接宾语〉 〈动词〉∷= 是｜学习 〈直接宾语〉∷=〈代词〉｜〈名词〉 由规则推导句子 形式语言 Chomsky于1956年提出了一种用来描述语言的数学系统。人们把用一组数学符号和规则来描述语言的方式称为形式描述，而把所用的数学符号和规则称为形式语言。 形式语言，只是从语法上研究语言。它是抽象的数学系统，用于模拟程序设计语言的语法，或者是并不很成功地模拟自然语言如英语的语法。 形式语言理论是编译理论的重要基础，它主要研究组成符号语言的符号串的集合及它们的表示法、结构与特性。 形式语言和编译理论中的 最基本概念 ——符号串和符号串集合 2.2 符号和符号串 字母表 定义:元素的非空有穷集合 例：∑={0?1} Α={a?b,c} 元素也称为符号，字母表也称符号集。 程序语言的字母表由字母数字和若干专用符号组成。 符号串 定义:由字母表中的符号组成的任何有穷序列 例： 0,00,10是字母表∑={0?1}上的符号串 a,ab,aaca是Α={a?b，c}上的符号串 在符号串中，符号是有顺序的，顺序不同,代表不同的符号串，如:ab和ba不同 不含任何符号的符号串称为空串，用ε表示 注意:{ε}并不等于空集合{ } 符号串长度: 符号串中含有符号的个数 如: |abc|=3 | ε|=0 子符号串 设有非空符号串u=xvy,其中符号串 ，则称v为符号串u的子符号串。 符号串的头与尾 如果z=xy是一个符号串，则x是z的头，而y是z的尾。如果y非空，则x是z的固有头；如果x非空，则y是z的固有尾。 符号串的运算 符号串的连接：设x、y是符号串,它们的连接是把y的符号写在 x的符号之后得到的符号串xy 例如 x=ST，y=abu ，则 xy=STabu 显然εx = xε=x 符号串的方幂：把符号串a自身连接n次得到的符号串an = aa…aa 例如 a1=a a2=aa a0=ε 符号串集合： 定义: 若集合A中所有元素都是某字母表?上的符号串，则称A为字母表?上的符号串集合。 符号串集合的乘积：符号串集合A和B的乘积定义为: AB ={xy|x∈A且y∈B}，即AB是由A中的串x 和B中的串y连接而成的串xy组成的集合。 若集合A = ?ab,cde? B = ?0,1? 则 AB = ?ab0,ab1,cde0,cde1? 显然 {ε}A = A{ε} = A 符号串集合的方幂: 设A是符号串的集合，则称Ai为符号串集A的方幂，其中i是非负整数。具体定义如下: A0 ={ε } A1 = A , A2 = A A AK = AA......A(k个) 集合的闭包 闭包 集合Σ的闭包Σ *定义如下： Σ * = Σ 0∪ Σ1∪ Σ 2∪ Σ