Morita 理想旋转元件的模型
其他计算机科学
2015-03-17 v3
摘要
可逆计算是一个反映物理可逆性的概念。迄今为止，已有若干可逆系统被研究。在一系列论文中，Kenichi Morita 定义了旋转元件 RE，这是一个可逆逻辑元件。关于可逆性，他理解为“每个计算过程都可以从终点到起点唯一地回溯。换言之，它们是后向确定性系统”。他证明了任何可逆图灵机都可以实现为仅由 RE 组成的电路。本文的目的是利用异步系统理论和实时性来对理想旋转元件进行建模。
引用
@article{arxiv.1012.5842,
title = {The model of the ideal rotary element of Morita},
author = {Serban E. Vlad},
journal= {arXiv preprint arXiv:1012.5842},
year = {2015}
}
备注
presented at the 12-th Symposium of Mathematics and its Applications, "Politehnica" University of Timisoara, Timisoara, 2009