罗伯特·格莱克;横山，铁雄 通过可逆递归和迭代从其遍历构造二叉树。 （英语） Zbl 1473.68214号 信息处理。莱特。 147，32-37（2019）. 摘要：我们使用两种算法在可逆计算环境中生成二叉树标签的中序和前序，这两种算法是在首次从程序反演的角度对其进行检验近三十年后产生的。可逆遍历直接定义了重建二叉树的逆算法，并具有与遍历相同的线性时间和空间要求。可逆while语言是用可逆递归扩展的。 引用于4文件 MSC公司： 68周05 非数值算法 68第05页 数据结构 68瓦40 算法分析 关键词：二叉树;树遍历;可逆算法;算法设计;程序反转 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山}，Inf.过程。莱特。147、32-37（2019年；Zbl 1473.68214） 全文： 内政部 参考文献： [1] Abramov，S.M。；Glück，R.，《逆计算原理和通用求解算法》，（Mogensen，T.；etal.，《计算的本质》，LNCS，第2566卷（2002），Springer-Verlag），269-295·Zbl 1026.68023号 [2] 安德森。；Carlsson，S.，《根据最佳时间和空间的遍历构造树》，Inf.Process。莱特。，34, 1, 21-25 (1990) ·Zbl 0695.68014号 [3] Burgdorff，H.A。；贾约迪亚，S。；Springsteel，F.N。；Zalcstein，Y.，从树的遍历重建树的替代方法，BIT Numer。数学。，27, 2, 134-140 (1987) [4] 卡梅隆，R。；巴塔查里亚，B。；Merks，E.，从二叉树的遍历中高效重建二叉树，应用。数学。莱特。，2, 1, 79-82 (1989) ·Zbl 0725.68079号 [5] Chen，G.-H。；Yu，M。；Liu，L.，从遍历构造二叉树的两种算法，Inf.Process。莱特。，28, 6, 297-299 (1988) ·Zbl 0658.68084号 [6] 陈，W。；Udding，J.T.，《程序反转：不仅仅是乐趣！》！，科学。计算。程序。，15, 1, 1-13 (1990) ·Zbl 0715.68055号 [7] 格吕克，R。；Kawabe，M.，基于LR（0）解析的自动程序反转方法，Fundam。通知。，66, 4, 367-395 (2005) ·Zbl 1098.68025号 [8] 吕克，R。；横山，T.，可逆命令式语言的线性时间自我解释者，计算。软质。，33, 3, 108-128 (2016) [9] Gries博士。；van de Snepscheut，J.L.A.，二叉树的有序遍历及其反转，（Dijkstra，E.W.，程序和证明的形式化开发（1990），Addison-Wesley），37-42 [10] Knuth，D.E.，《计算机编程的艺术》，第1卷：基本算法（1968），Addison-Wesley，Sect。2.3.1，例7，答案第560页·Zbl 0191.17903号 [11] Mäkinen，E.，《从其遍历高效构建二叉树》，《国际计算杂志》。数学。，75, 2, 143-147 (2000) ·Zbl 0962.68139号 [12] Ohkubo，Y。；横山，T。；Kanayama，C.，排名二叉树的干净可逆模拟，（Adamatzky，A.，可逆性和普遍性（2018），Springer-Verlag），243-267·Zbl 1434.68749号 [13] van de Snepscheut，J.L.A.，递归树遍历的反演，Inf.Process。莱特。，39, 5, 265-267 (1991) ·Zbl 0741.68051号 [14] 温斯克尔，G.，《编程语言的形式语义：导论》（1993），麻省理工学院出版社·Zbl 0919.68082号 [15] 横山，T。；Axelsen，H.B。；Glück，R.，可逆流程图语言和结构化可逆程序定理，（Aceto，L.；etal.，ICALP.ICALP，LNCS，vol.5126（2008），Springer-Verlag），258-270·Zbl 1155.68388号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。