设$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$
原文：http://www.cnblogs.com/jelly-wd/p/4166034.html