国防科技大学：《编译原理》课程电子教案（PPT教学课件）第2章 高级语言及其语法描述

第二章 高级语言及其语法描述 ■常用的高级语言 ▣FORTRAN 数值计算 COBOL 事务处理 ▣PASCAL 结构程序设计 ▣ ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ▣ ALGOL 算法语言 C/C++ 系统程序设计 ▣Java Internet程序设计 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 第二章 高级语言及其语法描述 ◼ 常用的高级语言  FORTRAN 数值计算  COBOL 事务处理  PASCAL 结构程序设计  ADA 大型程序、嵌入式实时系统  PROLOG 逻辑程序设计  ALGOL 算法语言  C/C++ 系统程序设计  Java Internet程序设计

■与机器语言或汇编语言比较，高级语言 的优点： 口较接近于数学语言和工程语言，比较直观、 自然和易于理解； 口便于验证其正确性，易于改错； 口编写效率高； 口易于移植 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 ◼ 与机器语言或汇编语言比较，高级语言 的优点： 较接近于数学语言和工程语言，比较直观、 自然和易于理解; 便于验证其正确性，易于改错; 编写效率高; 易于移植

2.1程序语言的定义 ■程序语言由两方面定义： 口语法 口语义 口语用 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 2.1 程序语言的定义 ◼ 程序语言由两方面定义： 语法 语义 语用

一.语法 ■程序本质上是一定字符集上的字符串。 ■语法：一组规则，用它可以形成和产生一 个合式(wel-formed)的程序。 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 一 . 语法 ◼ 程序本质上是一定字符集上的字符串。 ◼ 语法：一组规则，用它可以形成和产生一 个合式(well-formed)的程序

语法 ■词法规则：单词符号的形成规则。 口单词符号是语言中具有独立意义的最基本结构。 一般包括：常数、标识符、基本字、算符、界 符等。 口描述工具：有限自动机 ■语法规则：语法单位的形成规则。 口语法单位通常包括：表达式、语句、分程序、 过程、函数、程序等； ▣描述工具：上下文无关文法 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 语 法 ◼ 词法规则：单词符号的形成规则。 单词符号是语言中具有独立意义的最基本结构。 一般包括：常数、标识符、基本字、算符、界 符等。 描述工具：有限自动机 ◼ 语法规则：语法单位的形成规则。 语法单位通常包括：表达式、语句、分程序、 过程、函数、程序等; 描述工具：上下文无关文法

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教研室 程序语言每个组成成分的逻辑和实现意义 ◼ 抽象的逻辑的意义 数学意义 ◼ 计算机实现的意义 具体实现