若 不为空集，则 为， 是如下二元关系；
（） 在 中存在唯一的称为根的数据元素 ，它在关系 下无前驱；
（ ） 若 －不为空，则存在 －＝，，且 !
为空集；
（"） 若 不为空，则 中存在唯一的元素 #，$，#%&，且
存在 上的关系 是 的子集；若 不为空集，则 中存在唯
一的元素 ，$，%&，且存在 上的关系 为 的子集；
'$，#%$，%
(是一颗符合本定义的二叉树，称为根的左子树，是
一颗符合本定义的二叉树，称为根的右子树。
基本操作
)*+，,
初始条件：, 给出二叉树 + 的定义
操作结果：按 , 构造二叉树 +
-.
初始条件：二叉树 已经存在
操作结果：返回二叉树的总的结点数
-.
初始条件：二叉树 已经存在
操作结果：返回二叉树单分支的节点数
)/+
初始条件：二叉树 + 已经存在
操作结果：将二叉树 + 清为空树
01+
初始条件：二叉树 + 已经存在
操作结果：若 + 为空二叉树，则返回 23，否则返回 45+3
16+*
初始条件：二叉树 + 已经存在
操作结果：返回 + 的深度
+
初始条件：二叉树 + 已经存在， 是 + 中的某个结点
操作结果：若 是 的非根结点，则返回它的双亲，否则返回
空
7+
初始条件：二叉树 + 已经存在，8 是对结点操作的应用函数。
操作结果：先序遍历 +，对每个结点调用函数 7 一次且仅一次。
一旦 7 失败，则操作失败。
97+*
初始条件：二叉树 + 已经存在，8 是对结点操作的应用函数。
操作结果：中序遍历 +，对每个结点调用函数 7 一次且仅一次。
一旦 7 失败，则操作失败。
7*+
初始条件：二叉树 + 已经存在，8 是对结点操作的应用函数。
操作结果：后序遍历 +，对每个结点调用函数 7 一次且仅一次。
评论1