这篇期刊论文详细介绍了二叉树非递归后序遍历算法的推导过程及形式化证明,对研究非递归遍历二叉树具有重要的学术价值。