第二章高级语言及其语法描述

《第二章高级语言及其语法描述》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第二章高级语言及其语法描述程序语言的定义一个程序语言是一个记号系统，包括语法和语义两个方面。语法：任何语言程序都可看成是一定字符集（称字母表）上的一字符串（有限序列）。语法包括了：词法规则和语法规则语义：对一个语言来说，不仅要给出它的词法、语法规则，而且要定义它的单词符号和语法单位的意义。离开语义，语言只不过是一堆符号的集合。所谓一个语言的语义是这样的一组规则，使用它可以定义一个程序的意义。这些规则称为语义规则。阐明语义要比阐明语法难的多，现在还没有一种形式系统描述语义。2.2高级语言的一般特性高级语言的分类：（1）强制式的高级语言（也称过程式语言）（2）

2、应用式的高级语言（3）基于规则的高级语言（4）面向对象的高级语言程序结构数据类型与操作：三要素（1）用于区别这种类型的数据对象的属性（2）这种类型的数据对象可以具有的值（3）可以作用于这种类型的数据对象的操作语句与控制结构：表达式语句：（1）赋值语句（2）控制语句（3）说明语句（4）简单语句2.3程序语言的语法描述首先掌握几个概念：设是一个有穷字母表，它的每个元素称为一个符号。上的一个字符串是指中的符号所构成的一个有穷序列。不包含任何符号的序列称为空字，极为。用表示上的所有符号串的全体，空字也包括在内。的子集U和V的（连接）积定义为UV={

3、U&V}注意：UV≠VU但(UV)W=U(VW)V自身的n次积记为：Vn=VV…V(n次重复）规定V0={}V0令V=V0V1V2……称V为V的闭包。记V+=VV，称V+为V的正则闭包。预备知识-----语言概述语言是由句子组成的集合，是由一组记号所构成的集合。汉语--所有符合汉语语法的句子的全体英语--所有符合英语语法的句子的全体程序设计语言--所有该语言的程序的全体每个句子构成的规律研究语言每个句子的含义每个句子和使用者的关系预备知识-----语言概述研究程序设计语言每个程序构成的规律每个程序的含义每个程序和使用者的关系语言研究的三

4、个方面语法Syntax语义Semantics语用Pragmatics预备知识-----语言概述语法--表示构成语言句子的各个记号之间的组合规律语义--表示按照各种表示方法所表示的各个记号的特定含义。（各个记号和记号所表示的对象之间的关系）语用--表示在各个记号所出现的行为中，它们的来源、使用和影响。预备知识-----语言概述每种语言具有两个可识别的特性，即语言的形式和该形式相关联的意义。语言的实例若在语法上是正确的，其相关联的意义可以从两个观点来看，其一是该句子的创立者所想要表示的意义，另一是接收者所检验到的意义。这两个意义并非总是一样的，前者称为语言的语

5、义，后者是其语用意义。幽默、双关语和谜语就是利用这两方面意义间的差异。预备知识-----形式语言如果不考虑语义和语用，即只从语法这一侧面来看语言，这种意义下的语言称作形式语言。形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以什麽符号串能出现的方式来陈述。形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。预备知识-----有关定义和记号符号：可以相互区别的记号（元素）。字母表：符号（元素）的非空有穷集合。符号串：由字母表中的符号组成的任何有穷序列称为该字母表上的符号串。1.空符号串ε(没

6、有符号的符号串)是上的符号串2.若x是上的符号串,a是的元素,则xa是上的符号串3.y是上的符号串,当且仅当它可以由1和2导出。例如：Σ={a,b}ε,a,b,aa,ab,aabba…都是上的符号串预备知识-----有关定义和记号符号串s的前缀：移走符号串s尾部的零个或多于零个符号得到的符号串.如：b是符号串banana的一个前缀.符号串s的后缀：删去符号串s头部的零个或多于零个符号得到的符号串.如:nana是符号串banana的一个后缀.符号串s的子串：从s中删去一个前缀和一个后缀得到的符号串.如:ana是符号串banana的一个子串.对于每

7、个符号串s，s和ε两者都是符号串s的前缀，后缀和子串。符号串s的真前缀，真后缀，真子串：任何非空符号串x,相应地，是s的前缀，后缀或子串，并且sx符号串的运算符号串的长度：符号串中符号的个数.符号串s的长度记为s。ε的长度为0连接：符号串x、y的连接,是把y的符号写在x的符号之后得到的符号串xy如x=ab,y=cd则xy=abcd有εa=aε方幂：符号串自身连接n次得到的符号串an定义为aa…aan个aa1=a,a2=aa则a0=ε符号串集合：若集合A中所有元素都是某字母表上的符号串，则称A为字母表上的符号串集合。两个符号串集合A和B的乘积定义为AB

8、=xyxA且yB若集合A=ab,cdeB=0,1则