第2章文法与语言终.pptVIP

第2章 文法和语言 本章目的:为语言的语法描述寻求工具, 工 具要对程序设计语言给出精确无二义的语法描述。（严谨、简洁、易读） 形式工具:形式语言抽象地定义为一个数学 系统。 “形式” ：语言的所有规则只以什麽符号串能出现的方式来陈述 2.1 语言概述和文法的直观概念 2.2 符号和符号串 2.3 文法和语言的形式定义 2.4 文法的类型 2.5 上下文无关文法及语法树 2.6 句型的分析 2.7 文法实用性的一些说明 2.1 语言概述和文法的直观概念 一、基本概念 语言：是由句子组成的集合，是由一组符号 所构成的集合。 汉语：所有符合汉语语法的句子的全体。 英语：所有符合英语语法的句子的全体。 程序设计语言：所有该语言的程序的全体。 二、语言研究的内容 语法:每个句子构成的规律/每个程序构成的规 律。表示构成语言句子的各个记号之间的组合规律。 在形式语言理论中，阐明语法的工具是文法。 语义：每个句子的含义/每个程序的含义。表示各个记号的特定含义。（各个记号和记号所表示的对象之间的关系）。 语用：每个句子和使用者的关系/每个程序和使用者的关系。表示在各个记号所出现的行为中，它们的来源、使用和影响。  三、文法的直观描述 采用EBNF来表示句子的构成规则。先给定如下一组规则： 〈句子〉∷=〈主语〉｜〈谓语〉 〈主语〉∷=〈代词〉｜〈名词〉 〈代词〉∷=我｜你｜他 〈名词〉∷=王明｜大学生｜工人｜英语 〈谓语〉∷=〈动词〉 ｜〈直接宾语〉 〈动词〉∷=是｜学习 〈直接宾语〉∷=〈代词〉｜〈名词〉 例 :“我是大学生”。 具体操作如下: 〈句子〉 ? 〈主语〉 ｜ 〈谓语〉 ? 〈代词〉〈谓语〉 ?我〈谓语〉  ?我〈动词〉〈直接宾语〉  ? 我是〈直接宾语〉 ?我是〈名词〉 ?我是大学生 文法：就是这样一些规则的有穷集合，它是以有 穷规则集来刻划无穷句子集合的工具。 2.2 符号和符号串 一、基本概念 字母表：元素的非空有穷集，记为 Σ 符号：字母表中的元素 符号串：符号的有穷序列 空符号串：什么符号也不含的符号串，记为ε 例： Σ={a，b，c，d，……z} a、b、c……都称为符号 hello、stri、aezfg、main都是Σ上的符号串。 二、符号串的基本操作 符号串的长度：符号所包含符号的个数，设x是一符号串，其长 度记为|x|。 例：|hello|=5，|main|=4，| ε |=0。 符号串的连接：设x、y是两个符号串，则xy被称为x与y的连接。特别有： x=xε=εx=εxε 例：x=my，y=classmate， 则y=myclassmate。 符号串的方幂：设x是符号串，x自身的连接称为符号串的方幂，有： 例：x=ba，x0 = ε， x1 =ba， x2 =baba 符号串的集合：若集合A中元素都是某字母表Σ上的符号串，则A是Σ上的符号串集合。 符号串集合的乘积：若A、B均为Σ上的符号串集合，则AB={xy|x∈A，y∈ B } 例：设A={ab，cd}，B={ef，jh}，则AB={abef，abjh，cdef，cdjh} A{ε}=A，φ A=Aφ =φ 符号串集合的正闭包：设符号串集合A，A的正闭包记为A+ ，A的闭包记为A*。 例： 设Σ={0，1}，则 Σ+ ={0，1，00，01，10，11，000，001……}。 Σ* ={ε，0，1，00，01，10……}。 2.3 文法和语言的形式定义 一、基本概念 1 、产生式: 设VN ，VT分别是非空有限的非终结符号集和终结符集。V= VN ∪ VT ， VN ∩ VT =φ 。 所谓产生式是一个序偶对(α ， β ) ，其中α∈ V+，β ∈V*，通常表示为： α → β 或α ∷ =β，产生式也叫规则、重写规则、生成式。 例：阿拉伯数字 → 0|1|2|3…|9 2、文法 文法G是一个四元组，G=(VN ，VT ， P ， S) 。其中：VN ，VT 分别是非空有限的非终结符集和终结符集，且二者交集为φ；P为产生式集；S ∈ VN，是文法的开始符号(或识别符) ，它是一个非终结符，至少要在一条规则中作为左部出现。 例：文法G=(VN ，VT ， P ， S) ， 其中VN ={S，B}， VT ={0，1}，P={S→ 0B，B→ 1，B→ 1B}。开始符为S。 可用文法的通俗表示法表示如下