直纪西田;阿德里安·帕拉西奥斯;德国维达尔 可逆项重写。 （英语） 兹伯利1387.68147 Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学学报52，第28条，第18页（2016年）。 概要：本质上，在可逆编程语言中，对于从状态\（S\）到状态\（S’\）的每一个正向计算步骤，都存在一种构造性和确定性的方法来从状态\。除了理论上的兴趣外，可逆计算是一个基本概念，它与许多不同的领域相关，如细胞自动机、双向程序转换或量子计算等。在本文中，我们重点关注术语重写，这是一种大多数基于规则的编程语言的计算模型。一般来说，项重写是不可逆的，即使对于内射函数也是如此；也就是说，给定一个重写步骤（t1到t2），我们并不总是有一个可判定的确定方法来从（t2）中获得（t1）。这里，我们引入了一个保守的项重写扩展，它是可逆的。此外，我们还定义了一个转换，使用标准项重写使重写系统可逆。关于整个系列，请参见[Zbl 1351.68020号]. 引用于4文件 MSC公司： 2012年第68季度 语法和重写系统 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：项重写;可逆计算;程序转换 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人，LIPIcs——莱布尼茨国际程序。通知。52，第28条，第18页（2016年；Zbl 1387.68147） 全文： DOI程序