计算机程序设计语言

---

用于书写计算机程序的语言。

程序设计语言有三个方面的因素，即语法、语义和语用。语法表示程序的结构或形式，亦即表示构成语言的各个记号之间的组合规律，但不涉及这些记号的特定含义，也不涉及使用者。

语义表示程序的含义，亦即表示按照各种方法所表示的各个记号的特定含义，但不涉及使用者。

语用表示程序与使用者的关系。

语言的好坏不仅影响到程序使用是否方便，而且涉及到程序人员所写程序的质量。

计算机程序设计语言一般包含以下四种成分：
❶ 数据成分：用以描述程序中所涉及的数据；
❷ 运算成分：用以描述程序中所包含的运算；
❸ 控制成分：用以表达程序中的控制构造；
❹ 传输成分：用以表达程序中数据的传输。

按语言级别，有低级语言和高级语言之分。低级语言包括字位码、机器语言和汇编语言。

它的特点是与特定的机器有关，功效高，但使用复杂、繁琐、费时、易出差错。

高级语言的表示方法要比低级语言更接近于待解问题的表示方法，其特点是在一定程度上与具体机器无关，易学、易用、易维护。

当高级语言程序翻译成相应的低级语言程序时，一般来说法，一个高级程序单位要对应于多条机器指令，相应的编译程序所产生的目标程序往往功效较低。

按照用户要求，有过程式语言和非过程式语言之分。

过程式语言的主要特征是，用户可以指明一列可顺序执行的运算，以表示相应的计算过程。非过程式语言的含义是相对的，凡是用户无法指明表示计算过程的一列顺序执行的运算的语言，都是非过程式语言。

按照应用范围，有通用语言和专用语言之分。目标非单一的语言称为通用语言。

目标单一的语言称为专用语言。

按照使用方式，有交互式语言和非交互式语言之人。具有反映人－机交互作用的语言成分的称为交互式语言，如BASIC语言就是交互式语言。语言成分不反映人－机交互作用的称非交互式语言，如FORTRAN、C、COBOL等都是非交互式语言。

按照成分性质，有顺序语言、并发语言和分布语言之分。只含顺序成分的语言称为顺序语言，如FORTRAN、COBOL等属顺序语言。含有并发成分的语言称为并发语言，如并发PASCAL、MODULA和ADA等属于并发语言。考虑到分布计算要求的语言称为分布语言，如MODULA便属分布语言。

传统的程序设计语言大都以冯·诺伊曼式的计算机为设计背景，因而又称为冯·诺伊曼式语言。J·巴克斯于1977年提出的函数式语言，则以非冯·诺伊曼式的计算机为设计背景，因而又称为非冯·诺伊曼式语言。

程序设计语言是软件的重要方面。它的发展趋势是模块化、简明性和形式化。

(1)模块化。不仅语言具有模块成分，程序由模块组成，而且语言本身的结构也是模块化的。

(2)简明性。涉及的基本概念不多，成分简单，结构清晰，易学易用。

(3)形式化。

发展合适的形式体系，以描述语言的语法、语义、语用。