2.2. Pseudocode Notation (伪代码表示法)

我们在本规范的多个地方使用集合表示法。

• A (+) B 是两个集合 A 和 B 的并集。
• A (-) B 是集合 A 中不在集合 B 中的元素。
• NULL 是空集合或列表。

此外, 我们使用类 C 语法:

• = 表示变量赋值。
• == 表示相等性比较。
• != 表示不等性比较。

大括号 { 和 } 用于分组。

除非另有说明, 具有多个 (+) 和 (-) 运算符的语句指定的操作应从左到右求值, 即 A (+) B (-) C 是由集合 A 和 B 的并集减去集合 C 中的元素得到的集合。