后序遍历二叉树非递归算法的推导和形式化证明.pdfVIP

CN43—1258／TP 计算机工程与科学 2010年第32卷第3期 ISSN 1007—13OX COMPUTERENGINEERING ＆ SCIENCE Vo1．32．No．3．2010 文章编号：1007—130X(2010)0~一0119—05 后序遍历二叉树非递归算法的推导及形式化证 明 一 ‘ 。 DerlvatlonaannddFOorrmmaal’P1orrocoftofNoonn———Reeccuurrssiwve PostorderBinary——TreeTraversalAlgorithm 左正康 ．一，游 珍 ，薛锦云 ZUO zhen雩kaJl ’ ，YOU ZhenI，XUEJin-yun · (1．江西师范大学省高性能计算技术重