编译语言及其语法描述
(一)常用的高级语言:
FORTRAN 数值计算
COBOL 事务处理
PASCAL 结构程序设计
ADA 大型程序,嵌入式实时系统
PROLOG 逻辑程序设计
ALGOL 算法语言
C/C++ 系统程序设计
JAVA Internet程序设计
(二) 与机器语言或汇编语言比较高级语言的优点:
1、比较接近于数学语言和工程语言,比较直观,自然,和易于理解。
2、便于验证其正确性,便于改错。
3、编写效率高。
4、易于移植。
(三)程序语言由两方面定义:
a,语法
1、程序本质上是一定字符集上的字符串。
2、语法:一组规则,用它可以产生一个合式(well-formed)的程序。
3、词法规则:单词符号的形成规则。
单词符号:是语言中具有独立意义的最基本结构。一般包括:常数,标识符,基本字,算符,界符等
描述工具:有限自动机
4、语法规则:语法单位的形成规则。
语法单位通常包括:表达式,语句,分程序,过程,程序,函数等。
描述工具:上下文无关文法
5、E---->i
E---->E+E
E---->E*E
E---->(E)
5、语法规则和词法规则定义了程序的形成结构,定义语句单位的意义属于语义问题。
b,语义
语义:一组规则,用它可以定义一个程序的意义。
描述方法:
1>自然语言描述:隐藏错误,二义性,不完整性。
2>形式描述:
操作语义(PL/1)
指称语义 (ADA)
代数语义(PASCAL)