科研之友
微信
新浪微博
Facebook
分享链接
摘要
In the context of Abstract geometrical computation, the Black hole model of computation (and SAD computers) have been implemented. In the present paper, based on reversible and (energy) conservative stacks, reversible Turing machines are simulated. A shrinking construction that has and preserves these properties is then presented. All together, the black hole model of computation is implemented by a rational signal machine that is reversible and conservative.
- 出版日期2012
