可逆逻辑带记忆功能的元素及其普适性
摘要：可逆计算是一种反映自然界微观基本法则之一——物理可逆性的计算范式。在本调查中，我们讨论带有存储器的可逆逻辑元素（RLEM）以及它们的普适性，这些元素可以用于构建可逆计算系统。如果一个RLEM可以组成仅由它构成的电路实现任何可逆的时序机器（RSM），则称此RLEM为普适的。由于可逆图灵机（RTM）的有限状态控制器和磁带单元通过RSM进行了形式化，任何RTM都可以由一个普适的RLEM构建。在这里，我们研究了2状态的RLEMs，并且证明了除了四个例外以外，还有无数种非退化的RLEM都是普适的。这些例外RLEM的非普适性也被讨论了。
作者：Kenichi Morita (Hiroshima University)
论文ID：1309.1264
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-09-06