第二章 高级程序设计语言描述.pdfVIP

第二章 高级程序设计语言描述 周开来 西南林业大学计算机与信息科学系 内容简介： 本章概述程序设计语言的结构 和主 要的共同特征，并介绍程序设计语言主要 语句的文法描述与形式定义。 2.1 程序语言的定义 任何语言实现的基础是语言定义。 语言的定义决定了该语言 具有什么样 的语言功能、 什么样的数据结构、什么 样的程序结构、 以及具体的使用形式 等细节问题。 2.1 程序语言的定义 高级程序语言的主要作用: 是用来描述算法 使用计算机实现 目前世界上已经有上千种高级程序设计语 言，在较大范围内得到使用的语言也有几 十种。 常用的高级语言 FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计（人工智能） ALGOL 算法语言 C/C++ 系统程序设计 Java 企业级应用(流程管理，OA……） C# 企业级应用(流程管理，OA……） 获得计算机图灵奖统计： 程序设计语言(10) Alan J. Perlis (1966) -- ALGOL Edsger Wybe Dijkstra (1972) -- ALGOL John W. Backus (1977) -- FORTRAN Kenneth Eugene Iverson (1979) -- APL程序语言 Niklaus Wirth (1984) -- PASCAL John Cocke (1987) -- RISC 编译优化 Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula语言和 面向对象概念 Alan Kay(2003) -- SmallTalk语言和面向对象程序设计 Peter Naur(2005) -- ALGOL60以及编译设计 形式语言, 程序语言语义 (4) Robert W. Floyd (1978) -- 编程语言语义，自动程序验证 C. Antony R. Hoare (1980) -- Hoare Logic, CSP Robin Milner (1991) -- LCF，ML，CCS，PI-calculus Amir Pnueli (1996) -- 时序逻辑和系统验证 与机器语言或汇编语言比较，高级语言 的优点： 较接近于数学语言和工程语言，比较直观、 自然和易于理解; 便于验证其正确性，易于改错; 编写效率高; 易于移植. 2.1 程序语言的定义 一个程序语言是一个记号系统。 如同自然语言一样，程序语言主要由两方面 定义： 语法 语义 语用 有关程序设计技术和语言成分的使用方法 一. 语法 程序本质上是一定字符集（字母表）上的字 符串（有限序列）。 语法：一组规则，用它可以使得这些字符串 形成和产生一个合式(well-formed)的程序。 语法 词法规则+语法规则 形式上是正 确的 词法规则规定了字母表中 语 法 哪样的字符串是一个单词