目录

0．导引

0.1．设计的目的和原则

0.1.1．描述的完整性和明确性

0.1.2．正交设计

0.1.3．可靠性

0.1.4．效率

0.2．与ALGOL 60的比较

0.3．与1968年定义的语言相比较

0.4．描述方法的改变

第一部分 初始定义

1．语言和元语言

1.1．描述方法

1.1.1．导引

1.1.2．附注

1.1.3．严格语言的语法

1.1.4．语义

1.1.5．翻译和变种

1.2．总元产生规则

1.3．总超规则

2．计算机和程序

2.1．术语

2.1.1．对象

2.1.2．关系

2.1.3．值

2.1.4．动作

2.1.5．简化

2.2．程序

第二部分 基本构造

3．子句

3.1．闭子句

3.2．顺序子句

3.3．并行子句和平行子句

3.4．选择子句

3.5．循环子句

4．说明，说明符和指示符

4.1．说明

4.2．模式说明

4.3．优先说明

4.4．标识符说明

4.5．运算说明

4.6．说明词

4.7．模式之间的关系

4.8．指示符和场选择符

5．单位

5.1．语法

5.2．与名字有关的单位

5.2.1．赋值

5.2.2．等同关系

5.2.3．产生符

5.2.4．虚无

5.3.1．选场

5.3．与复合值有关的单位

5.3.2．切片

5.4．与子程序有关的单位

5.4.1．子程序原文

5.4 2．公式

5 4.3．调用

5.4.4．转移

5.5.1．造型

5.5．与任何模式的值有关的单位

5.5.2．空位

第三部分 上下文关系

6．强制

6.1．强制品

6.2．非关联化

6.3．非过程化

6.4．联合化

6.5．拓展

6.6．行化

6.7．无值化

7．模式和嵌套

7.1．特性的独立性

7.2．在嵌套中识别

7.3．模式的等价

7.4．构造的正确性

第四部分 与加工无关的构造

8．标志

8.1．简单标志

8.1.1．整标志

8.1.2．实标志

8.1.3．布尔标志

8.1.4．字符标志

8.1.5．无值标志

8.2．字位标志

8.3．字符串标志

9．记号和符号

9.1．记号

9.2．注释和通知

9.3 表示

9.4．参考语言

9.4.1．符号的表示

9.4.2．其它TAX符号

第五部分 系统环境和例子

10．标准系统环境

10.1．程序原文

10.1.1 语法

10.1 2．系统环境条件

10.1.3．标准系统环境的描述方法

10.2．标准序部

10.2.1．系统环境调查

10.2.3．标准运算符和标准函数

10.2.2．标准模式

10.2.4．同步运算

10.3．传输说明

10.3.1．书，通道和文件

10.3.2．传输值

10.3.3．无格式传输

10.3.4．格式原文

10.3.5．格式传输

10.3.6．二进制传输

10.4．系统序部和系统任务表

10.4.1．系统序部

10.4.2．系统任务表

10.5．具体序部和具体尾部

10.5.1．具体序部

10.5.2．具体尾部

11.1．复平方根

11.2．内积1

11．例子

11.3．内积2

11.4．最大元素

11.5．欧拉求和

11.6．一个向量的模

11.7．一个矩阵的行列式

11.9．连分数

11.10．公式处理

11.8．最大公因子

11.11．情报检索

11.12．合作序列过程

11.13．河内的宝塔

12．词汇

12.1．技术名词

12.2．派生概念

12.3．谓词

12.4．标准序部索引

12.5．按字母排列的元产生规则表