算法描述语言ADL
用算法描述语言ADL书写算法的格式及规定如下：
算法<算法名>(变量i1,···,变量in.变量j,···,变量jn)
// <算法的概括说明>或者/* <算法的概括说明> */
<步骤名>.[<本步骤的概括说明>]
<操作1>//<操作1的解释>或者/*<操作1的解释>*/
或者(操作1的解释)或者<无解释>
···
<操作J1> // <操作J1的解释>或者/* <操作J1的解释> */
或者(操作J1的解释)或者<无解释>
···
<步骤名>.[<本步骤的概括说明>]
<操作1> //<操作1的解释>或者/*<操作1的解释>*/
或者(操作1的解释)或者<无解释>
···
<操作Jk> // <操作Jk的解释>或者/* <操作Jk的解释> */
或者(操作Jk的解释)或者<无解释>▎
下面是对上述书写格式给出具体解释：
(1)关于“<算法名>(变量i1,···,变量in.变量j,···,变量jn)”的解释
<算法名>是由字母和数字组成的有限字符串，并且字符串中的第一个符号必须是字母。
在变量表中，变量ik为输入变量.1≤k≤m,m≥0,当m=O时.表示无输入变量;变量jk为输出变量，1≤k≤n,n≥1。
(2)关于<算法的概括说明>的解释
在算法的变量表后对整个算法进行概括说明，说明中应包含算法的主要思想,对算法功能和其变量的解释等。
(3)关于算法步骤的解释
算法的每一步骤都要有步骤名，步骤名由<算法名或算法名缩写><数字>组成。
步骤名后面的方括号内是对该步骤所执行操作的高度概括。
方括号后是本步骤的一系列操作，每个操作由ADL语句给出,若某操作难于理解则需在其后对其做出解释。
(4)关于符号“ ▎”的解释
每个算法都需要用符号“ ▎”表示其被书写完毕，也就是说，符号“ ▎”作为对应算法被书写完毕的结束符。
注意算法不一定在符号“I”处运行结束。
(5) 可使用的算术运算符
+、-、*、x、/、DIV、MOD、L」(取地板运算,如Lx」的值是小于等于x的最大整数)、
「](取天棚运算，如「x]的值是大于等于x的最小整数）.....
(6)关系、逻辑运算符、逻辑常量、集合运算符
可用的关系运算符(＝、≠、＜、＞、≥、≤)逻辑运算符(AND OR NOT)，逻排常量(true，false).集合运算符(∩、U、一(差)...)。
(7)结束符
通常每条语句(或每个操作)都用".”作为结束符,但在能判断语句结束的位置可略去“.”。
(8)关于注释语句
注释语句有以下3种形式:
1.较短的注释语句(注释内容不超过一行)用符号“//”开头,后面是具体注释的内容。
2.较长的注释语句用符号“/*”开头,中间是具体注释的内容,用符号“*/”结尾。
3.注释语句用左小括号“("开头，中间是具体的注释或说明内容，用右小括号“)”结尾。
(9)关于赋值语句
形如a←b,其中a是变量,b是表达式或变量;
a↔b表示交换变量a和变量b的内容;
a←b←c,表示既将c的值赋给变量a,又将其值赋给变量b。
(10)关于条件语句
1.IF(或如果,或若)<逻辑表达式> THEN(或“，则”)(语句...语句m).
2.IF(或如果,或若)<逻辑表达式>
THEN(或“，则")(语句...语句m).
ELSE(或“;否则”)(语句...语句n).
其中m,n≥1。
3.CASE DO
(<逻辑表达式 1>:(语句1...语句n).
···
<逻辑表达式m>:(语句...语句nm )).
其中,n≥1,m≥1,1≤i≤m。
(11)关于循环语句
1.WHILE<逻辑表达式>DO(语句1. ..语句n).
其中，n≥1。
2.FOR<变量>=<算术表达式1> T0<算术表达式2>STEP<算术表达式3>
DO(语句1. ... 语句n).
其中,n≥1。若<算术表达式3>=1,则“STEP<算术表达式3>"可略去。
3.FOR V<变量>∈<集合> DO (语句...语句n).路
其中,n≥1。
(12)关于转移语句
GOTO<步骤名>.
(13)关于EXIT语句
可用在通常的结束条件满足之前，用来结束WHILE或FOR循环的执行。
EXIT语句使得程序转移到紧接在包含EXIT的(最内层的)WHILE或者FOR循环后面的第一个语句。
(14)关于RETURN语句
RETURN语句有两种表达形式:
RETURN
或
RETURN<表达式>
第一种表达形式表示没有返回值，直接返回;第二种表达形式表示返回表达式的值,并返回。
若算法在紧邻符号“ ▎”的操作处结束,RETURN语句通常被省略。
(15)关于圆括号
当且仅当圆括号中只有1条语句时，圆括号可以省略。
(16)关于输人、输出语句
输人语句为
READ(x)
表示读取输人值赋给变量x。
输出语句为
PRINT( <表达式>)
或
PRINT<字符串常量>