1. 算法T（以中根序遍历二叉树）

设$T$是指向二叉树的指针；本算法以中根序访问二叉树中的所有节点，并且利用一个辅助栈A。

T1. [初始化] 置栈A为空，并置链接变量$P \gets T$。

T2. [$P=\bigwedge$？] 如果$P=\bigwedge$，转到步骤T4。

T3. [$栈 \Leftarrow P$] （现在P指向要加以遍历的一个非空二叉树。）置 $A \Leftarrow P$；即是，把P的值放入栈A。然后置$P \to LLINK(P)$并返回步骤T2。

T4. [$P \Leftarrow 栈$] 如果栈A为空，则算法终止；否则置$P \Leftarrow A$