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

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

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

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

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

大括号 { 和 } 用于分组.

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