编译原理第04章概要.ppt

条件语句→if 条件表达式 then 执行语句 else 执行语句 条件表达式→ 算术表达式关系运算符算术表达式 关系运算符 →│=││=│=│ begin integer k; integer m; integer function F(n); begin integer n; if n=0 then F:=1 else F:=n*F(n-1) end; read(m); k:=F(m); write(k) end 求n!的程序 (1)可写性：语言提供一些机制来方便地表达设计方法以帮助完成程序设计。 使得程序员可以把注意力集中在理解问题和求解问题上。 6.一些设计准则 可写性表现在简单性、可表达性、正交性和准确性等方面。 6.一些设计准则 (2)可读性：抽象、注解；影响可修改性和可维护性 (3)可靠性:软件系统正常工作的能力。数据抽象、信息隐蔽、异常处理机制有利于提高可靠性。 一. 表达式的设计 逻辑表达式 关系表达式 算术表达式 第三节 语言的设计 1. 逻辑表达式 逻辑表达式→ 布尔常量|布尔变量 |关系表达式|?逻辑表达式 |逻辑表达式 ? 逻辑表达式 |逻辑表达式 ? 逻辑表达式 1. 逻辑表达式 布尔常量 →true|false 布尔变量 →标识符 ?、 ?、 ? 的优先顺序由低到高 1. 逻辑表达式 关系表达式→ 算术表达式关系运算符算术表达式 关系运算符 →|=||=|=| 2. 关系表达式 2. 关系表达式 关系运算符没有优先顺序、没有重载 算术表达式→常量|变量| (算术表达式)| 算术表达式算术运算符算术表达式 3. 算术表达式 算术运算符有优先顺序、允许重载 算术运算符服从左结合 (上述描述具有二义性) 算术表达式→算术表达式+项| 算术表达式 - 项| 项 项→项*因子|项/因子|因子 因子→(算术表达式)|常量|变量 没有二义性的描述 变量→标识符 常量→各种常量 1.说明语句 说明语句→常量说明| 类型说明| 变量说明 二.语句的设计 常量说明→ const 类型名 标识符=常量 类型说明→type 类型名=用户定义类型 变量说明→var 变量表：类型 变量表→变量|变量表，变量 类型→ int|real|char|boolean|类型名 变量→标识符 类型名→标识符 执行语句→赋值语句|控制语句| 复合语句|I/O输出语句 赋值语句→变量:=表达式 控制语句→顺序|选择|重复 2.执行语句 复合语句→begin 语句表 end 语句表→执行语句| 执行语句表；执行语句 I/O输出语句→read(变量)| write(变量) 程序单元→ 程序单元关键字程序单元名(形参表)； 程序单元体 程序单元关键字→procedure|function|… 程序单元名→标识符 形参表→形参|形参表；形参 3.程序单元的设计 形参可以没有； 如果有，可以是变量、数组、过程等， 必须说明类型及与实参的绑定方式 程序单元体→begin 说明部分; 执行部分 end 说明部分→说明语句表 说明语句表→说明语句| 说明语句表;说明语句 执行部分→执行语句表 执行语句表→执行语句 | 执行语句表;执行语句 分程序→begin 说明部分； 执行部分 end 说明部分→ 变量说明表 ； 数组说明表 ； 过程说明表 ； 分程序表 变量说明表→变量说明| 变量说明表；变量说明 数组说明表→数组说明| 数组说明表；数组说明 过程说明表→过程说明│