第2章 高级语言与其语法描述.pptVIP

第二章 高级语言及其语法描述 教学内容 2.0 语言概述 2.1 程序语言的定义 2.2 文法的直观概念与语言的关系 --- 重点 2.3 程序设计语言的语法描述--- 重点难点 第二章 高级语言及其语法描述 对于高级程序设计语言及其编译程序来说，语言的语法定义是很重要的。 本章主要介绍语法结构的形式描述问题，并讨论上下文无关文法、正规文法。 编译原理主要内容也可以归结为应用形式语言理论，并将它贯穿于词法分析和语法分析两个阶段。 2.0 语言概述 语言是某一字母表上符号串 (句子)的集合。 汉语--所有符合汉语语法具有一定意义的句子的全体 英语--所有符合英语语法具有一定意义的句子的全体 2.0 语言概述 如何来描述一种语言？ 2.1 程序语言的定义 P12 程序语言是一符号系统，由语法和语义两方面所定义。 2.1.1 语法 一个语言的语法是一组规则，它使得这串字符形成一个形式上正确的程序。 这些规则一部分称为词法规则，另一部分能称为句法规则（或产生规则）。 2.1.1 语法 词法规则：规定了形成单词的规则；如常数、标识符、基本字、算符等。 2.1.2 语义 P13 对于一个语言来说，不仅要给出它的词法、句法规则，而且要定义它的单词符号和语法单位的意义。这就是语义问题。 2.1.3 程序 P14 一个程序语言的基本功能是描述数据和对数据的运算。所谓程序，从本质上来说是描述一定数据的处理过程。 在现今的程序语言中，一个程序大体可以视为右边所示的层次结构。 字母表： 是字母表是由若干元素所组成的有限非空集合，其中，每一元素称为符号，故有时又将字母表称为符号集。 用Σ、V表示。 句子： 字母表上符合某种规则构成的串。 2.1.4 有关定义和记号及运算(P25) 连接（乘积）运算 方幂运算 2.1.4 有关定义和记号及运算 和运算 设A，B为两个符号串的集合，则将集合A同B的和，记作A+B (或A∪B)，且定义为： A+B={?|?∈A 或 ?∈B} 即集合A+B中含有且仅含有A和B中的所有符号串， 例如，若A={a,b,c}，B={00,11}，则 A+B={ } AB={ } 2.1.4 有关定义和记号及运算 字母表A的闭包（A*）： A*=A0?A1?A2?… 2.2 文法的直观概念与语言的关系 当我们表述一种语言时，无非是说明这种语言的句子，如果语言只含有有穷多个句子，则只需列出句子的有穷集就行了，但对于含有无穷句子的语言来讲，存在着如何给出它的有穷表示的问题。 现在，我们从“产生语言”的角度出发，给出文法和语言的形式定义。所谓产生语言，是指制定出有限个规则，借助它们就能产生出此语言的全部句子。 以自然语言为例，人们无法列出全部句子，但是人们可以给出一些规则，用这些规则来说明（或者定义）句子的组成结构。 比如英语句子可以是由主语随谓语而成，构成谓语是动词随宾语，我们采用如下表示句子的构成语法规则： 2.2.1 句子的语法规则 句子的语法有四个部分： 终结符、非终结符、语法规则、开始符号 2.2.2 文法 一个用来描述语言的语法结构的文法G可形式地定义如下: 一个文法：G［S］可表示成形如(VN,VT,P,S)的四元式。 (1) VT为非空终结符集; (2) VN为非空非终结符集,且VT∩VN=Φ; (3) S为文法开始符, S∈VN; (4) P是产生式的非空有限集, 其中每个 产生式(规则)记作 ?→? 或 ?::= ? 左部?∈VN,右部?∈(VT∪VN)*。 2.2.2 文法 2.2.2 文法 产生式 (也称产生式规则或规则) 是定义语法实体的一种书写规则。一个语法实体的相关规则可能不止一个, 如: P→?1, P→?2 , P→?n 相同左部的产生式可合并为一个: P→ ? 1| ? 2|…| ? n 其中, ? i(i=1,2,…,n)称为P的候选式。 注意：P33 1.在词法分析和语法分析中对产生式有限制: a）不存在P ?P产生式 b）产生式中出现的任何非终结符P必须有用。 从开始符号S出发，存在推导S * ?P? P必须能推导出终结符串。即P + ?；??VT* 2.2.3 文法产生语言 2.2.3 文法产生语言 2.2.3 文法产生语言 句子既要符合语法，又要符合语义 例：文法G(E)：E→E+T|T T→T*F|F F→(E)|i 对句子i+i