程序设计语言的设计.pptxVIP

第四章 程序语言的设计;设计的依据：面向的问题和面向的机器 设计内容（语法）：表达式、语句、程序单元、程序 描述方式： 语法 —— BNF 语义 —— 自然语言;第四章 程序语言的设计;逻辑表达式 关系表达式 算术表达式;(1) 逻辑表达式 逻辑表达式 → 布尔常量 | 布尔变量 | 关系表达式 | ?逻辑表达式 | 逻辑表达式 ? 逻辑表达式 | 逻辑表达式 ? 逻辑表达式 布尔常量 → true | false 布尔变量 → 标识符 ?、 ?、 ? 的优先顺序由低到高 ;(2) 关系表达式 关系表达式 → 算术表达式关系运算符算术表达式 关系运算符 → | = | | = | = | 关系运算符没有优先顺序、没有重载 ;(3) 算术表达式 算术表达式 → 常量 | 变量 | (算术表达式) | 算术表达式算术运算符算术表达式 算术运算符有优先顺序、允许重载 算术运算符服从左结合 （上述描述具有二义性）;没有二义性的描述： 算术表达式 → 算术表达式+项 | 算术表达式 - 项 | 项 项 → 项*因子 | 项/因子 | 因子 因子 → (算术表达式) | 常量 | 变量 变量 → 标识符 常量 → 各种常量 ;第四章 程序语言的设计;(1) 说明语句 说明语句 → 类型说明 | 变量说明 类型说明 → type 类型名=用户定义类型 变量说明 → var 变量表:类型 变量表 → 变量 | 变量表,变量 类型 → int | real | char | boolean | 类型名 变量 → 标识符 类型名 → 标识符 ;(2) 执行语句 执行语句 → 赋值语句 | 控制语句 | 复合语句 | I/O输出语句 赋值语句 → 变量:=表达式 控制语句 → 顺序 | 选择 | 重复 复合语句 → begin 语句表 end 语句表 → 执行语句 | 执行语句表;执行语句 I/O输出语句 → read(变量) | write(变量) ;第四章 程序语言的设计;程序单元 → 程序单元关键字程序单元名(形参表)； 程序单元体 程序单元关键字 → procedure | function | … 程序单元名 → 标识符 形参表 → 形参 | 形参表;形参;形参可以没有； 如果有，可以是变量、数组、过程等， 必须说明类型及与实参的绑定方式。;程序单元体 → begin 说明部分;执行部分 end 说明部分 → 说明语句表 说明语句表 → 说明语句 | 说明语句表;说明语句 执行部分 → 执行语句表 执行语句表 → 执行语句 | 执行语句表;执行语句 ;分程序 → begin 说明部分;执行部分 end 说明部分 → 变量说明表 ; 数组说明表 ; 过程说明表 ; 分程序表 ;变量说明表 → 变量说明 | 变量说明表;变量说明 数组说明表 → 数组说明 | 数组说明表;数组说明 过程说明表 → 过程说明 | 过程说明表;过程说明 分程序表 → 分程序 | 分程序表;分程序 ;;;第四章 程序语言的设计;程序 → 分程序