三、高级语言

不同的计算机中低级语言、中级语言是不同的，而高级语言基本上都是相同的。高级语言提供的语义一般与具体的机器无关，不涉及硬件知识，所以学起来也较容易。下面介绍应用较多的几类典型高级语言。

数据处理语言

COBOL 是一种很流行的数据处理语言，它产生于商业事务。最适用于大量数据重复处理的商业事务，由此起名为商用语言。它多用于对字符文件的操作、产生各种统计报表等领域。

算法语言

FORTRAN 是早期发展的典型的算法语言，它适用于需要大量计算，但数据量不大的科学计算和数学计算的场合。至今几乎所有类型的大、中、小、微型计算机都在使用它，流行很广。ALGOL60、PASCAL 也属于这一类。

实时处理语言

这类语言能根据外部信号，控制不同的程序段并发执行。如并发PASCAL、并发 C、ADA 等都属于这一类。

查询命令语言

在各种早期系统程序简单的用户命令基础上发展的 dBASE，SQL，SHELL 等命令语言，它们具有程序员的交互性和非过程特点，提供了软件环境的友好界面。这是一类新兴的语言。

模拟语言

它是在一些通用程序语言的基础上，把模拟工作所需要的一些基本功能编成专用模块，嵌入原来的计算机语言，或者作为程序的基本框架而形成的。它主要用于模拟以时间为进程的客观世界的状态变化。主要分为离散型和连续型。

离散型模拟语言，把客观系统看作一系列瞬时事件，按某种时间先后顺序组织起来而成。常见的有 GPSS，SIMULA，GASP，ECSL，SLAM，SIMSCRIPT。

连续型模拟语言是用于分析连续性状态变化系统的语言。它把客观系统视为由若干实体间按各自的速度流动的各种“流”所构成。因此，关于对象系统的模拟一般用常微分方程式的初值问题来定义。对它们的分析，过去用模拟计算机（analog computer）进行，随着数值计算机的普及和发展，开发出了许多连续型模拟语言。常见的有 DYNAMO，CSMP，CSSL 等。

还有离散与连续模拟兼容的 SIMCRIPT 智能化模拟语言 CAYNE 等模拟语言。

模型语言

模型语言用于构造和测试“现实世界”问题的模型。目前已有解决不同类型问题的各种模型语言，例如用于解决等待排队的排队问题的语言，描述各种系统行为的模型构造语言，以及描述财务模型的语言等。财务模型工具在管理活动和相关分析方面有着重要的作用。在大型计算机系统和微型计算机系统中，都有可用的模型构造语言。如，交互式财务计划系统 IFPS

（Interactive Financial Planning System），它能提供对若干种分析方案的选择。

表处理和正文处理语言

这种语言以自然语言中的字符为主要操作对象，能很方便地生成报告、表格等。它具有较强的处理串数据的功能。RPG，SNOBOL 都属于这一类。

人工智能语言

这类语言能描述包括自然语言理解、定理证明、模式识别、机器人、各种专家系统的知识，并根据推理规则推断合理的结论。较广泛应用的有LISP，PROLOG。

问题描述语言／问题描述分析器

问题描述语言 PSL（Problem Statement Language）、问题描述分析器PSA（Problem Statement Analyter）是一种在计算机系统上研制的信息系统开发工具，专门用于系统分析和系统设计。

这种语言以 PSL 为工具，对系统开发过程进行描述，然后将这些描述记录在数据库里，再用 PSA 对数据库里的描述进行分析。它还可以产生许多不同的报告。目前这方面的研究很活跃。

APL（A programming Language）

这是一种常用作决策支持系统开发工具的高级紧凑型的功能较强的代数语言。APL 使用单个命令就能完成整个数组的输入和运算，而只使用数量极少的几条语句就能完成复杂的数学运算，所以容易学、编程快，主要用于编制使用次数不多的程序，如辅助特定决策问题。

通用程序设计语言

C 语言诞生于 Bell 实验室。它是一种通讯程序设计语言，随着 UNIX 分时操作系统在国际上的广泛流行，近年来 C 程序设计语言在软件工程领域里颇为引人注目。它具有语言表达能力强，数值类型丰富，支持多种数据结构；控制语句功能很强；语言本身简洁，编译程序生成的代码质量高，程序小；程序可移植性好等特点，广泛使用于系统软件及软件工具的设计中。