ch2-1-高级语言介绍.pptVIP

第二章高级语言

及其语法描述本章概述程序设计语言的结构和主要的共同特征，并介绍程序设计语言主要语句的形式定义。

22.1程序语言的定义任何语言实现的基础是语言定义。语言的定义决定了该语言具有什么样的语言功能、什么样的数据结构、什么样的程序结构、以及具体的使用形式等细节问题。

3对于编译程序设计者来说：语言定义就是具体实现的理论依据。对于语言用户来说：语言定义就是一本用户手册。2.1.1语法语言的语法是指这样一组规则，用它可产生一个程序。规则：词法规则语法规则

4词法规则是指单词符号的形成规则字母表就是一个有穷字符集。C语言的字母表为：∑={a---z、A—Z、0—9、(、)、[、]、?、.、!、~、+、-、*、/、、%、、、=、^、|、?、,、;}C语言的标识符的构成规则：字母、下划线打头的字母、数字和下划线构成的符号串。如：a1、ave、_day一.词法规则

5当设计编译程序时，就要用形式语言来定义单词。各类型的常数、标识符、关键字、算符和界符等正规式和有穷自动机是描述词法结构和进行词法分析的有效工具在现今多数程序设计语言中，单词符号一般包括：

6C语言的标识符的文法和自动机描述：例：C语言标识符的文法描述L（G）={w/w为字母或‘-’打头的字母数字串}解：P:I→aBI→-BI→aB→aBB→dBB→aB→d识别L（G）的自动机IBTa-a,d其它

7SACDFEB7ddddddd?ee+–T*例：C语言实常数的文法描述文法：S→dAA→dAA→eDA→.BB→dCC→dCC→eDD→-ED→+ED→dFE→dFF→dFF→d其它其它其它10003.1410e+33.14e-512e5

8二.语法规则语法规则规定了如何从单词符号形成更大的结构（即语法单位），换言之，语法规则是语法单位的形成规则一般的程序设计语言的语法单位有：表达式、语句、分程序、函数、过程和程序等自动机理论和上下文无关文法是我们讨论语法分析的理论基础

9表达式：E→E+TE→E-TE→TT→T*FT→T/F

T→FF→(E)F→id主要语句的形式描述：

10布尔表达式：B→BorBB→BandBB→notBB→(E）B→idrelopidB→trueB→false

11赋值、分支、循环语句：S→id=ES→ifBthenSS→ifBthenSelseSS→whileBdoSS→{L}L→L;SL→S

12调用语句：S→callid(Elist)Elist→Elist,EElist→E|ε

13类型说明和过程说明语句：P→DD→D;DD→id:TD→id（Elist）D;ST→intT→float

14数组说明语句：L→id[Elist]Elist→Elist,E