国防科技大学计算机系602教研室第二章高级语言及其语法描述常用的高级语言FORTRAN数值计算COBOL事务处理PASCAL结构程序设计ADA大型程序、嵌入式实时系统PROLOG逻辑程序设计ALGOL算法语言C/C++系统程序设计JavaInternet程序设计国防科技大学计算机系602教研室与机器语言或汇编语言比较，高级语言的优点：较接近于数学语言和工程语言，比较直观、自然和易于理解;便于验证其正确性，易于改错;编写效率高;易于移植.国防科技大学计算机系602教研室2.1程序语言的定义程序语言由两方面定义：语法语义语用国防科技大学计算机系602教研室一.语法程序本质上是一定字符集上的字符串。语法：一组规则，用它可以形成和产生一个合式(well-formed)的程序。国防科技大学计算机系602教研室语法词法规则：单词符号的形成规则。单词符号是语言中具有独立意义的最基本结构。一般包括：常数、标识符、基本字、算符、界符等。描述工具：有限自动机语法规则：语法单位的形成规则。语法单位通常包括：表达式、语句、分程序、过程、函数、程序等;描述工具：上下文无关文法国防科技大学计算机系602教研室E→iE→E+EE→E*EE→(E)语法规则和词法规则定义了程序的的形式结构。定义语法单位的意义属于语义问题。国防科技大学计算机系602教研室二.语义语义：一组规则，用它可以定义一个程序的意义。描述方法：自然语言描述：隐藏错误、二义性和不完整性形式描述：操作语义(PL/1)指称语义(ADA)代数语义(PASCAL)国防科技大学计算机系602教研室三．程序语言的基本功能和层次结构程序语言的基本功能：描述数据和对数据的运算。所谓程序，本质上说是描述一定数据的处理过程。国防科技大学计算机系602教研室程序的层次结构程序|子程序或分程序、过程、函数|语句|表达式|数据引用算符函数调用国防科技大学计算机系602教研室程序语言每个组成成分的逻辑和实现意义抽象的逻辑的意义数学意义计算机实现的意义具体实现国防科技大学计算机系602教研室2.2高级语言的一般特性高级语言的分类强制式语言(ImperativeLanguge)也称过程式语言：命令驱动，面向语句FORTRAN、C、Pascal，Ada应用式语言（ApplicativeLanguage）：注重程序所表示的功能，而不是一个语句接一个语句地执行LISP、ML国防科技大学计算机系602教研室2.2高级语言的一般特性2.2.1高级语言的分类基于规则的语言（Rule-basedLanguage...
