二叉樹的抽象數據類型定義
ADT BinaryTree{
數據對象D：D是具有相同特性的數據元素的集合
數據關系R：若 D = ∅，則 R = ∅
若 D ≠ ∅，則 R = {H}；H是如下二元關系：
① root 唯一 //關於根的說明
② Dj∩Dk = ∅ //關於子樹不相交的說明
③ 根和它左孩子和右孩子的說明
④ 關於左子樹和右子樹的說明
基本操作P：
CreateBiTree(&T,definition) //創建二叉樹，創建的二叉樹通過 T 返回
初始條件：definition 給出二叉樹 T 的定義
操作結果：按 definition 構造二叉樹 T
PreOrderTraverse(T) //前序遍歷
初始條件：二叉樹 T 存在
操作結果：先序遍歷 T ，對每個結點訪問一次
InOrderTraverse(T) //中序遍歷
初始條件：二叉樹 T 存在
操作結果：中序遍歷 T ，對每個結點訪問一次
PostOrderTraverse(T) //后序遍歷
初始條件：二叉樹 T 存在
操作結果：后序遍歷 T ，對每個結點訪問一次
}ADT BinaryTree