目录 1
0．导引 1
0.1．设计的目的和原则 1
0.1.1．描述的完整性和明确性 2
0.1.2．正交设计 2
0.1.3．可靠性 2
0.1.4．效率 2
0.2．与ALGOL 60的比较 3
0.3．与1968年定义的语言相比较 7
0.4．描述方法的改变 10
第一部分 初始定义 13
1．语言和元语言 13
1.1．描述方法 13
1.1.1．导引 13
1.1.2．附注 14
1.1.3．严格语言的语法 15
1.1.4．语义 25
1.1.5．翻译和变种 30
1.2．总元产生规则 31
1.3．总超规则 34
2．计算机和程序 39
2.1．术语 39
2.1.1．对象 39
2.1.2．关系 43
2.1.3．值 44
2.1.4．动作 53
2.1.5．简化 57
2.2．程序 59
第二部分 基本构造 62
3．子句 62
3.1．闭子句 63
3.2．顺序子句 64
3.3．并行子句和平行子句 69
3.4．选择子句 73
3.5．循环子句 79
4．说明，说明符和指示符 85
4.1．说明 85
4.2．模式说明 86
4.3．优先说明 88
4.4．标识符说明 89
4.5．运算说明 92
4.6．说明词 93
4.7．模式之间的关系 99
4.8．指示符和场选择符 101
5．单位 105
5.1．语法 105
5.2．与名字有关的单位 106
5.2.1．赋值 106
5.2.2．等同关系 108
5.2.3．产生符 109
5.2.4．虚无 111
5.3.1．选场 112
5.3．与复合值有关的单位 112
5.3.2．切片 114
5.4．与子程序有关的单位 118
5.4.1．子程序原文 118
5.4 2．公式 120
5 4.3．调用 121
5.4.4．转移 123
5.5.1．造型 124
5.5．与任何模式的值有关的单位 124
5.5.2．空位 125
第三部分 上下文关系 126
6．强制 126
6.1．强制品 126
6.2．非关联化 130
6.3．非过程化 130
6.4．联合化 131
6.5．拓展 132
6.6．行化 134
6.7．无值化 136
7．模式和嵌套 138
7.1．特性的独立性 138
7.2．在嵌套中识别 143
7.3．模式的等价 146
7.4．构造的正确性 152
第四部分 与加工无关的构造 154
8．标志 154
8.1．简单标志 154
8.1.1．整标志 155
8.1.2．实标志 155
8.1.3．布尔标志 157
8.1.4．字符标志 157
8.1.5．无值标志 158
8.2．字位标志 159
8.3．字符串标志 161
9．记号和符号 163
9.1．记号 163
9.2．注释和通知 164
9.3 表示 166
9.4．参考语言 167
9.4.1．符号的表示 169
9.4.2．其它TAX符号 175
第五部分 系统环境和例子 179
10．标准系统环境 179
10.1．程序原文 179
10.1.1 语法 179
10.1 2．系统环境条件 181
10.1.3．标准系统环境的描述方法 182
10.2．标准序部 185
10.2.1．系统环境调查 185
10.2.3．标准运算符和标准函数 187
10.2.2．标准模式 187
10.2.4．同步运算 202
10.3．传输说明 203
10.3.1．书，通道和文件 203
10.3.2．传输值 231
10.3.3．无格式传输 241
10.3.4．格式原文 253
10.3.5．格式传输 280
10.3.6．二进制传输 304
10.4．系统序部和系统任务表 308
10.4.1．系统序部 308
10.4.2．系统任务表 308
10.5．具体序部和具体尾部 309
10.5.1．具体序部 309
10.5.2．具体尾部 310
11.1．复平方根 311
11.2．内积1 311
11．例子 311
11.3．内积2 312
11.4．最大元素 312
11.5．欧拉求和 313
11.6．一个向量的模 314
11.7．一个矩阵的行列式 314
11.9．连分数 316
11.10．公式处理 316
11.8．最大公因子 316
11.11．情报检索 320
11.12．合作序列过程 323
11.13．河内的宝塔 325
12．词汇 326
12.1．技术名词 326
12.2．派生概念 336
12.3．谓词 345
12.4．标准序部索引 346
12.5．按字母排列的元产生规则表 358