cha2程序语言的语法描述white.ppt

第二章 高级语言及其语法描述 引言 2.1程序语言的定义 2.2高级语言的一般特性（不介绍） 2.3程序语言的语法描述 本章练习 作业 语言特征 自然语言 是人与人的通讯工具 环境、背景知识、语气、二义性 叙述性描述（非形式化方法） 计算机语言 计算机软件使用的通讯工具 严格的语法、语义 记号描述（数学描述、形式化方法） 本章目的 本章目的 为语言的语法描述寻求工具 通过该工具可以 对源语言给出精确的无二义性的语法描述 (严谨、简单和易读) 根据语言文法的特点来指导语法分析的过程 从描述语言的文法可以自动构造出可用的分析程序 制导语义翻译 语言定义 p12 语言 是由句子组成的集合，是由一组记号所构成的集合 汉语——所有符合汉语语法的句子的全体 英语——所有符合英语语法的句子的全体 程序设计语言——所有该语言的程序的全体 研究语言 每个句子构成的规律 每个句子的含义 每个句子和使用者的关系 语言研究的三个方面 语法（Syntax) 表示构成语言句子的各个记号之间的组合规律 语义(Semantics) 表示按照各种表示方法所表示的各个记号的特定 含义(各个记号和记号所表示的对象之间的关系) 语用(Pragmatics) 表示在各个记号所出现的行为中，它们的来源、 使用和影响 形式语言理论简介 形式语言理论（Formal Language Theory) 是一种从语法上研究语言的理论 是抽象的数学系统 着重研究符号串集合的表示法、结构及其特征 是程序设计语言语法分析研究的基础（我们仅使 用与编译程序构造有关的结论，而不做证明） 形式语义(Formal Semantics) (本课程不介绍） 计算机语言的组成结构 2.1 程序语言的定义 p12 一个程序语言是一个记号系统 程序语言的定义 语法和语义 语法 形成和产生合适程序的规则集 词法规则 形成单词符号的规则 语法规则 形成语法单位的规则 语义 用以定义程序意义的规则集 在不同语言中完全相同的语法单位 含义却可能完全不同 例如：x=y C语言——赋值表达式 Pascal语言——关系表达式 C中x==y 程序语言的语法构成 程序语言构成的共同点 语法： 语句的组成规则 描述方法：BNF范式、语法描述图 词法： 单词的组成规则 描述方法：BNF范式、正规式 单词： 具有语义的最小字符串（可区分的） 2.2 高级语言的分类 p15 强制式语言 Imperative FORTRAN、BASIC、Pascal、C 函数式语言 Functional LISP、ML 逻辑式语言 Logical Prolog 面向对象语言 Object-Oriented Smalltalk、C++、Java、Ada 2.3 程序语言的语法描述 p25 基本概念 语言与文法 上下文无关文法 句型的分析 语法树和二义性 文法的分类 基本概念 符号和字母表 p25 符号(元素) 可以相互区别的记号 例 a b 0 1 字母表 符号的非空有穷集合 例∑={0，1} 二进制数语言的字母表 A={a，b} 由符号a和b组成的字母表 字母表包含语言中所允许出现的一切符号 一种程序设计语言的字母表是该语言的 基本字符集 基本概念 符号串 p25 符号串 由字母表中的符号所组成的任何有穷序 列称为该字母表上的符号串 例 001110是字母表∑上的符号串 a,b,aa,bb,abb,bba,…都是字母表A上的符号串 注意 符号串中符号的顺序是重要的 例 ab不同于ba 符号串的长度 符号串中符号的个数 例 x=001110 则x长度|x|=6 空串 (ε—空字) 长度为0的符号串 |ε|=0 关于符号串操作 运算 设x是某字母表上的符号串 连接(并置) x=123, y=45那么xy=12345 方幂：x的n次方幂即将n个x连接 x0=ε x1=x x2=xx… 子符号串 v是xvy的子符号串，v非空 头，尾 x是xy的头，y是xy的尾 符号串集合 符号串集合 若集合A中的一切元素都是某字母表上的符号 串，则称A为该字母表上的符号串的集合 例 ∑={0，1}是字母表,其中0,1为符号 则D={0,1} 其中0,1为符号串 E= {ε, 0,1,00,01,10,11,000, …} 是∑上的符号串集合 特别 空集记为ф ={ } 注意与ε区别 符号串集合的运算 p25 乘积 UV = {αβ|α?U且β?V} 例 A={a，b} B={c，d} 则AB={ac，ad，bc，bd} 方幂 V的n次方幂就是将n个V相