ALGOL60 语言

ALGOL60 语言是国际上通用的一种算法语言。AL－GOL 即 ALGOrithmic Language 的缩写，意思为“算法语言”。

ALGOL60 的前身是 ALGOL58，即 1958 年由 GAMM（德意志联邦共和国应用数学与力学协会）在苏黎世会议上提出的“关于算法语言 ALGOL 的初步报告”。该报告发表以后，引起国际上有关方面的很大兴趣。经过各方面的努力和支持，在多次正式和非正式会议之后，1960 年 1 月 11 日至 16 日，由来

自丹麦、英国、法国、德国、荷兰、瑞士和美国的 13 名代表，在巴黎举行了一次国际会议。会后发表了“关于算法语言 ALGOL60 的报告”，国际通用的算法语言 ALGOL60 从此诞生。之后为了修改和澄清该报告中的一些段落和措词，解决报告中存在的一些问题，特别是二义性问题，ALGOL60 的一些作者又在罗马举行了一次会议，形成了一个附件。后来，把 ALGOL60 报告及这个附件合并成一个整体发表，并取名为“关于算法语言 AL－GOL60 的修正报告”。现在所指的 ALGOL60 语言，都以这个修正报告为依据。

ALGOL60 语言突出了四个重要特点：嵌套性、动态性、递归性和语言描述的严谨性，因此，它是程序语言由技艺转向科学的重要标志，而且对编译程序的理论和实现技术的完善和发展起了极大的推动作用。

嵌套性是指用 ALGOI60 语言编写的程序是一种具有层次结构的程序，程序中使用的变量分属于不同的作用域，从而出现了全局量、局部量和非局部量的概念，方便了编程人员对变量的使用。动态性是指 ALGOL60 语言允许出现动态数组——其上下界可以是变量或表达式的数组。由于动态数组的体积只有在运行时才可确定，因而需要相应的存贮技术支持，动态存贮分配方法和技术应运而生。AL－GOL60 率先允许递归过程，促进了递归处理方法和栈技术的发展。ALGOL60 修正报告第一次用称之为巴科斯范式（BNF）的表达形式描述了 ALGOL60 语言的语法，简明、严谨，十分有助于语法分析器的设计。不久，人们发现巴科斯范式极其类似于形式语言理论中的上下文无关文法

（CFG），从而打开了形式语言广泛用于高级程序设计语言的局面，并给形式语言理论本身的研究以极大的推动和活力，使之演变为理论计算机科学的一个重要分支——形式语言理论。

COBOL 语言是 Common Business Oriented Language 的缩写，即“面向商业的通用语言”。1960 年在美国问世，是目前使用的最广泛的商用数据处理语言。