E→i E→E+E E→E米E E→(E) ■语法规则和词法规则定义了程序的的形 式结构。定义语法单位的意义属于语义 问题。 国防科技大学计算机系602教研室
国防科技大学计算机系602教研室 ◼ E→i E→E+E E→E*E E→(E) ◼ 语法规则和词法规则定义了程序的的形 式结构。定义语法单位的意义属于语义 问题
二.语义 ■1 语义：一组规则，用它可以定义一个程 序的意义。 ■描述方法： 口自然语言描述：隐藏错误、二义性和不完整 性 口形式描述： =操作语义(PL/1) 指称语义(ADA) 代数语义(PASCAL) 国防科技大学计算机系602教研室
国防科技大学计算机系602教研室 二. 语义 ◼ 语义：一组规则，用它可以定义一个程 序的意义。 ◼ 描述方法： 自然语言描述：隐藏错误、二义性和不完整 性 形式描述： 操作语义(PL/1) 指称语义(ADA) 代数语义(PASCAL)
三.程序语言的基本功能和层次结构 ■程序语言的基本功能：描述数据和对数据 的运算。 ■所谓程序，本质上说是描述一定数据的处 理过程。 国防科技大学计算机系602教研室
国防科技大学计算机系602教研室 三．程序语言的基本功能和层次结构 ◼ 程序语言的基本功能：描述数据和对数据 的运算。 ◼ 所谓程序，本质上说是描述一定数据的处 理过程
程序的层次结构 程序 子程序或分程序、过程、函数 语句 表达式 数据引用 算符 函数调用 国防科技大学计算机系602教研室
国防科技大学计算机系602教研室 程序的层次结构 程序 | 子程序或分程序、过程、函数 | 语句 | 表达式 | 数据引用 算符 函数调用
程序语言每个组成成分的逻辑和实现意义 ■抽象的逻辑的意义 口数学意义 ■计算机实现的意义 口具体实现 国防科技大学计算机系602教研室
国防科技大学计算机系602教研室 程序语言每个组成成分的逻辑和实现意义 ◼ 抽象的逻辑的意义 数学意义 ◼ 计算机实现的意义 具体实现