卢卡保利尼;毛罗·皮科洛;卢卡·罗维斯 一类递归置换，它是原始递归完成的。 （英语） Zbl 1481.03031号 西奥。计算。科学。 813218-233（2020）. 小结：我们主要研究可逆计算模型理论中的全函数。我们定义了一类递归置换，称为可逆原置换（（mathsf{RPP}）），它们是整数上可计算的可逆总内函数，因此是总可逆计算的子集\（mathsf{RPP}）由五个基本函数（恒等、符号变换、后继、前置、交换）、两个组合概念（顺序和并行）、一个函数迭代和一个函数选择生成\（\mathsf{RPP}\）是通过倒置封闭的，它具有足够的表达能力来编码康托对和整个本原递归函数类。 引用于5文件 MSC公司： 03D20日 递归函数和关系，子递归层次结构 2009年第68季度 其他非经典计算模型 关键词：可逆计算;非常规计算模型;可计算排列;原始递归函数;递归理论 软件：特修斯 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人，Theor。计算。科学。813、218--233（2020年；Zbl 1481.03031） 全文： 内政部 链接 参考文献： [1] Axelsen，H.B。；Glück，R.，可逆程序计算什么？，（第十四届软件科学和计算结构基础国际会议。第十四届国际软件科学和计算机结构基础会议，计算机科学讲稿，第6604卷（2011），斯普林格），42-56·Zbl 1326.68134号 [2] Axelsen，H.B。；Glück，R.，《可逆图灵机及其功能通用性》，《信息学报》。，53、5、509-543（2016年8月）·Zbl 1348.68051号 [3] Bennett，C.H.，《计算的逻辑可逆性》，IBM J.Res.Dev.，17，525-532（1973）·Zbl 0267.68024号 [4] Bennett，C.H.，可逆计算的时空权衡，SIAM J.Comput。，18, 4, 766-776 (1989) ·Zbl 0676.68010号 [5] Buhrman，H。；Tromp，J。；Vitányi，P.，《可逆模拟的时间和空间界限》，（Orejas，F.；Spirakis，P.G.；van Leeuwen，J.，《自动化，语言和编程》（2001），斯普林格·柏林-海德堡：斯普林格尔·柏林-海德堡-柏林，海德堡），1017-1027·Zbl 0986.68512号 [6] Burroni，A.，Récrussivitégraphique（第1部分）：加州，catégorie des functions Récrosives primitives formelles。白杨。盖姆。差异。猫。，27, 1, 49-79 (1986) ·Zbl 0588.18001号 [7] Burroni，A.，《应用于等式逻辑的高维单词问题》，Theor。计算。科学。，115, 1, 43-62 (1993) ·兹比尔0791.08004 [8] Cannonito，F.B。；Finkelstein，M.，《关于原始递归排列及其逆排列》，J.Symb。日志。，34634-638（1969年）·Zbl 0194.31201号 [9] 《可计算性：递归函数理论导论》（1980），剑桥大学出版社·Zbl 0448.03029号 [10] 詹尼尼，P。；梅雷利，E。；Troina，A.，《计算机科学与生物学之间的相互作用》，Theor。计算。科学。，587，1-2（2015），计算机科学与生物学之间的相互作用·Zbl 1315.00097号 [11] 南盖里尼。；马提尼，S。；Masini，A.，走向量子可计算性理论（2015），CoRR [12] 雅各宾尼，G。；Mentrasti，P.，可逆函数的生成，Theor。计算。科学。，66, 3, 289-297 (1989) ·Zbl 0677.68061号 [13] 雅各宾尼，G。；Mentrasti，P。；Sontacchi，G.，可逆图灵机和多项式时间可逆可计算函数，SIAM J.离散数学。，3, 2, 241-254 (1990) ·Zbl 0699.68067号 [14] 詹姆斯·R·P。；Sabry，A.，《信息效应》，（第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第39届美国计算机学会SIGPLAN-SIGACT程序设计语言原理研讨会文献集，POPL 2012，美国宾夕法尼亚州费城，2012年1月22日至28日（2012）），73-84·Zbl 1321.68267号 [15] 詹姆斯·R·P。；Sabry，A。；Street，J.，Theseus：可逆计算的高级语言（2014） [16] Kalimullin，I.，《可计算性与模型：东西方视角》，249-258（2003），Springer，《基本递归排列》一章·Zbl 1104.03001号 [17] Koz'minykh，V.V.，《关于部分递归函数作为叠加的表示》，代数日志。，11, 3, 153-167 (1972) ·Zbl 0271.02028号 [18] Koz'minykh，V.V.，部分递归函数在某些条件下的叠加表示，代数日志。，13, 4, 238-240 (1974) ·Zbl 0319.02030号 [19] Kuznecov，A.V.，《关于大振荡的本原递归函数》，Dokl。阿卡德。Nauk SSSR，71，233-236（1950），（俄语）·Zbl 0037.29705号 [20] Lafont，Y.，用二维图进行等式推理，（Comon，H.；Jounnaud，J.-P.，术语重写（1995），施普林格-柏林-海德堡：施普林格/柏林-海德堡-柏林，海德堡），170-195 [21] Lafont，Y.，走向布尔电路的代数理论，J.纯粹应用。代数，184，2-3，257-310（2003）·Zbl 1037.94015号 [22] Lafont，Y.，《图表重写和操作数》（operads 2009）。《2009年操作》，《Séminaires et CongrèS》，第26卷（2013年），《社会数学》。法国），163-179·Zbl 1277.18004号 [23] Lawvere，F.W.，集合范畴的基本理论，Proc。国家。阿卡德。科学。，152506-1111（1964年）·Zbl 0141.00603号 [24] Lecerf，Y.，《设计可逆性的机器》，C.r.Hebd。Séances学院。科学。，257, 2597-2600 (1963) ·Zbl 0192.06901号 [25] 李，M。；维坦伊，P.，《可逆性和绝热计算：能量的时间和空间交易》，Proc。英国皇家学会。，序列号。A、 数学。物理学。工程科学。，452, 1947, 769-789 (1996) ·Zbl 0869.68019号 [26] Lutz，C.，Janus:一种时间可逆的语言（给R.Landauer的信（1986）） [27] 南卡罗来纳州Mac Lane。；Birkhoff，G.，代数，切尔西出版丛书（1999），切尔西出版公司 [28] Mal’cev，A.I.，《算法和递归函数》（1970），Wolters-Noordhoff，由Leo F.Boron与Luis E.Sanchis、John Stillwell和Kiyoshi Iseki合作，从第一个俄文版翻译而来·Zbl 0198.02501号 [29] Matos，A.B.，简单可逆语言中的线性程序，Theor。计算。科学。，2902063-2074（2003年）·Zbl 1044.68026号 [30] Matos，A.B.，《注册可逆语言》（2016年1月），在线阅读 [31] McCarthy，J.，《图灵机器定义的函数的反演》，（Shannon，C.；McCarthy-J.，自动化研究，数学研究年鉴，第34卷（1956年），普林斯顿大学出版社），177-181 [32] 迈耶，A.R。；Ritchie，D.M.，《循环程序的复杂性》，（1967年第22届全国会议论文集，ACM’67（1967），ACM：美国纽约州纽约市ACM），465-469 [33] Morita，K.，《可逆计算和细胞自动机——一项调查》，Theor。计算。科学。，395, 1, 101-131 (2008) ·Zbl 1145.68036号 [34] Mu，S.-C。；胡，Z。；Takeichi，M.，《可逆计算的内射语言》（Kozen，D.，《程序构造数学》（2004），施普林格-柏林-海德堡：施普林格–柏林-海德堡-柏林，海德堡），289-313·Zbl 1106.68345号 [35] 尼尔森，硕士。；Chuang，I.L.，《量子计算与量子信息：十周年纪念版》（2011），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市 [36] Odifreddi，P.，《经典递归理论：函数和自然数集的理论》（《逻辑和数学基础研究》（1989），北荷兰）·Zbl 0661.03029号 [37] Paolini，L。；皮科洛，M。；Roversi，L.，一类可逆本原递归函数，Electron。注释Theor。计算。科学。，322, 227-242 (2016) ·Zbl 1345.03078号 [38] Paolini，L。；皮科洛，M。；Roversi，L.，可逆编程语言的认证研究，（Uustalu，T.，TYPES 2015 Postressings.TYPES 2015Postressions，LIPIcs，vol.69（2017），Schloss Dagstuhl-Leibniz Zentrum fuer Informatik:Schloss Dagstuhl–Leibniz-Zentrum-fuer Informationk Germany）·兹比尔1433.68080 [39] Paolini，L。；皮科洛，M。；Roversi，L.，关于一类可逆本原递归函数及其图灵完全扩张，新一代计算，36，3，233-256（2018） [40] Perumalla，K.S.，《可逆计算导论》，Chapman&Hall/CRC计算科学（2013），Taylor&Francis [41] Robinson，J.，《通用递归函数》，Proc。美国数学。学会，1703-718（1950）·Zbl 0041.15101号 [42] Rogers，H.，递归函数和有效可计算性理论，《高等数学中的McGraw-Hill级数》（1967），McGraw-Hill·Zbl 0183.01401号 [43] Rosenberg，A.L.，《计算理论的支柱：状态、编码、非决定论》（2009），Springer Publishing Company，Incorporated·Zbl 1203.68050号 [44] Rozsa，P.，递归函数（1967），学术出版社·Zbl 0154.00601号 [45] Simpson，S.G.，《数学基础》（2009），宾夕法尼亚大学数学系 [46] Soare，R.，《递归可枚举集和度：可计算函数和可计算生成集的研究》，（《数理逻辑透视》（1987），施普林格）·Zbl 0623.03042号 [47] 汤姆森，M.K。；Kaarsgaard，R。；Ricercar，M.Soeken，用ancillae及其置换语义描述和重写可逆电路的语言，（Krivine，J。；Stefani，J.-B.，《可逆计算：第七届国际会议》。《可逆计算：第七届国际会议》，RC 2015，法国格勒诺布尔，2015年7月16-17日，会议记录。可逆计算：第七届国际会议。可逆计算：第七届国际会议，RC 2015，格勒诺布尔，法国，2015年7月16-17日，理论计算机科学论文集，第9138卷（2015）），200-215·Zbl 1464.68109号 [48] Toffoli，T.，《可逆计算》（de Bakker，J.W。；van Leeuwen，J.，《自动化，语言与编程》。自动化，语言与编程，第七届学术讨论会，荷兰诺德威克霍特，1980年7月14日至18日，会议记录。自动机、语言和编程。自动机，语言与程序设计，第七届学术讨论会，荷兰诺德韦克霍尔特，1980年7月14日至18日，《计算机科学讲义》，第85卷（1980年），施普林格出版社，632-644·兹比尔0443.68038 [49] 横山，T。；Axelsen，H.B。；Glück，R.，可逆编程语言的原理，（Ramírez，a.；Bilardi，G.；Gschwind，M.，《第五届计算前沿会议论文集》，2008年。2008年5月5日至7日在意大利伊斯基亚举行的第五届计算机前沿会议记录（2008年），ACM），43-54 [50] 横山，T。；Axelsen，H.B。；Glück，R.，《走向可逆函数语言》（Vos，a.D.；Wille，R.），《可逆计算——第三届国际研讨会》，RC 2011。可逆计算-第三次国际研讨会，RC 2011，比利时根特，2011年7月4日至5日，修订文件。可逆计算-第三次国际研讨会，RC 2011。可逆计算-第三次国际研讨会，RC 2011，Gent，比利时，2011年7月4-5日，修订论文，计算机科学讲义，第7165卷（2011），Springer），14-29·Zbl 1407.68075号 [51] 横山，T。；Glück，R.，《可逆编程语言及其可逆自解释器》，（2007年ACM SIGPLAN部分评估和基于语义的程序操作研讨会论文集，PEPM’07（2007），ACM：美国纽约州纽约市ACM），144-153 [52] Zorzi，M.，《量子lambda演算：基本观点》，《数学》。结构。计算。科学。(2014) ·Zbl 1364.68208号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。