算法语言ALGOL68报告

0．导引 1

0.1．设计的目的和原则 1

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

0.1.2．正交设计 1

目录 1

0.1.3．可靠性 2

0.1.4．质量 2

0.2．与ALGOL 60的比较 3

0.2.1．ALGOL 68的值 3

0.2.2．ALGOL 68的说明 4

0.2.5．ALGOL 68的标准说明 5

0.2.6．ALGOL 68的某些特殊结构 5

0.2.3．ALGOL 68的动态存储分配 5

0.2.4．ALGOL 68的并行加工 5

1．语言和元语言 7

1.1．描述方法 7

1.1.1．严格语言、扩充语言和表示语言 7

1.1.2．严格语言的语法 7

1.1.3．元语言的语法 9

1.1.4．元语言的产生规则 9

1.1.5．严格语言的产生规则 10

1.1.6．严格语言的语义 12

1.1.8．表示语言 16

1.1.7．扩充语言 16

1.2．元产生规则 17

1.2.1．模式的元产生规则 17

1.2.2．与模式有关的元产生规则 18

1.2.3．与短语和强制有关的元产生规则 19

1.2.4．与强制子句有关的元产生规则 20

1.2.5．其它元产生规则 20

1.3．附注 21

2．计算机和程序 24

2.1．语法 24

2.2．术语 24

2.2.2．关系 25

2.2.1．对象 25

2.2.3．值 27

2.2.4．模式和作用域 29

2.2.5．动作 31

2.3．语义 31

3．基本记号和一般构造 34

3.0．语法 34

3.0.1．导引 34

3.0.2．字母记号 35

3.0.3．标志记号 35

3.0.4．动作记号 36

3.0.5．说明记号 37

3.0.9．附加记号和注释 38

3.0.8．模式化记号 38

3.0.7．顺序记号 38

3.0.6．语法记号 38

3.0.10．特殊记号 39

3.1．符号 39

3.1.1．表示 39

3.1.2．注记 45

4．识别及上下文条件 47

4.1．标识符 47

4.1.1．语法 47

4.1.2．标识符的识别 48

4.2．指示 49

4.2.1．语法 49

4.2.2．指示的识别 50

4.3．运算符 51

4.3.1．语法 51

4.3.2．运算符的识别 52

4.4．上下文条件 53

4.4.1．识别条件 54

4.4.2．唯一性条件 55

4.4.3．模式条件 56

4.4.4．说明条件 57

5．标志 60

5.0.1．语法 60

5.0.2．语义 60

5.1．简单标志 60

5.1.2．实标志 61

5.1.1．整标志 61

5.1.4．字符标志 63

5.1.3．布尔标志 63

5.2．字位标志 64

5.2.1．语法 64

5.2.2．语义 64

5.3．字符串标志 65

5.3.1．语法 65

5.3.2．语义 65

5.4．子程序标志 66

5.4.1．语法 66

5.4.2．语义 67

5.5.1．语法 68

5.5．格式标志 68

5.5.2．整图象语法 75

5.5.3．实图象语法 76

5.5.4．布尔图象语法 77

5.5.5．字符图象语法 78

5.5.6．复图象语法 78

5.5.7．字符串图象语法 78

5.5.8．传输格式 79

6．短语 81

6.0.1．语法 81

6.0.2．语义 82

6.1．顺序子句 83

6.1.1．语法 84

6.1.2．语义 85

6.2．并行短语 86

6.2.1．语法 87

6.2.2．语义 88

6.3．闭子句 90

6.3.1．语法 90

6.3.2．语义 90

6.4．条件子句 90

6.4.1．语法 91

6.4.2．语义 92

7.0.2．语义 93

7.1．说明词 93

7.0.1．语法 93

7．单一说明 93

7.1.1．语法 94

7.1.2．语义 100

7.2．模式说明 101

7.2.1．语法 102

7.2.2．语义 102

7.3．优先说明 102

7.3.1．语法 102

7.3.2．语义 103

7.4．等同说明 103

7.4.1．语法 103

7.4.2．语义 104

7.5．运算说明 105

7.5.1．语法 106

7.5.2．语义 106

8．单一子句 107

8.1.1．语法 107

8.2．强制子句 108

8.2.1．非关联化强制子句 111

8.2.2．非过程化强制子句 112

8.2.3．过程化强制子句 113

8.2.4．联合化强制子句 115

8.2.5．拓展强制子句 116

8.2.6．行化强制子句 117

8.2.7．模式化强制子句 119

8.2.8．无值化强制子句 122

8.3．对抗 123

8.3.1．赋值 123

8.3.2．一致性关系 125

8.3.3．等同关系 127

8.3.4．造型 129

8.4．公式 129

8.4.1．语法 129

8.4.2．语义 130

8.5．结合 132

8.5.1．产生符 132

8.5.2．选择 134

8.6．基底 135

8.6.1．切片 136

8.6.2．调用 139

9．扩充 142

9.1．注释 143

9.2．简化 143

9.3．重复语句 145

9.4．简化条件子句 146

10．标准序部和标准尾部 149

10.1．环境调查 151

10.2.0．标准优先 152

10.2.1．行及有关的运算 152

10.2．标准优先和标准运算 152

10.2.2．布尔运算数的运算 153

10.2.3．整运算数的运算 153

10.2.4．实运算数的运算 154

10.2.5．算术运算数的运算 155

10.2.6．字符运算数的运算 156

10.2.7．复结构及有关运算 156

10.2.8．字位结构及有关运算 158

10.2.9．字节及有关运算 159

10.2.10．字符串及有关运算 159

10.2.11．包括赋值的运算 160

10.3．标准数学常数及标准数学函数 162

10.5.0．传输模式及线性化 163

10.5．传输说明 163

10.4．同步运算 163

10.5.1．通道和文件 165

10.5.2．无格式传输 180

10.5.3．格式传输 188

10.5.4．二进制传输 200

10.6．标准尾部 202

11．例子 203

11.1．复平方根 203

11.2．内积1 203

11.3．内积2 204

11.4．内积3 204

11.6．欧拉求和 205

11.5．最大元素 205

11.7．向量的模 206

11.8．矩阵的行列式 207

11.9．最大公因子 208

11.10．连分数 208

11.11．公式处理 209

11.12．情报检索 212

11.13．合作序列过程 214

11.14．河内的城堡 216

12．词汇 217

12.1．技术名词 217

12.2．派生概念 225

附录：元产生规则表 242