2007 Fiscal Year Final Research Report Summary
Reversible Computing as a Future Computing System
| Project/Area Number |
16500012
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Hiroshima University |
|---|
Principal Investigator |
MORITA Kenichi Hiroshima University, Graduate School of Engineering, Professor (00093469)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
IMAI Katsunobu HIROSHIMA UNIVERSITY, Graduate School of Engineering, Assistant Professor (20253106)
|
|---|
| Project Period (FY) |
2004 – 2007
|
| Keywords | reversible computing / reversible logic element / logical universality / computation-universality / reversible Turing machine / reversible cellular automaton / asynchronous cellular automaton / hyperbolic cellular automaton |
|---|
| Research Abstract |
Physical reversibility is one of the fundamental laws of Nature that governs microscopic behavior of the physical world. Since future computing devices will surely be implemented based on some physical phenomena of nano-scale level, it is an important problem how such property of Nature can be effectively used Reversible computing is a theoretical framework for studying computing models that reflect physical reversibility. From this standpoint, we investigated several reversible computing systems and some other related systems, and obtained the following results in the term 2004-2007.
(1) We studied universality of simple reversible logic elements with one-bit memory (i.e., elements with 2 states), and proved that "all" the 14 elements that have 3 input/output lines and 2 states are logically universal.
(2) We investigated how simple universal reversible Turing machines can be. In particular we designed a 17-state 5-symbol model that can simulate any cyclic tag system.
(3) Simple universal reversible cellular automata are studied. It is shown that there is a 30-state 1-dimensional reversible cellular automaton that has computation-universality.
(4) Relation between reversibility and asynchronism is studied. A simple construction method of a reversible cellular automaton out of asynchronous logic elements is shown.
(5) Hyperbolic cellular automata, which are another model of physical space, is investigated. We showed that there is a 5-state model having computation-universality.
(6) We studied and clarified relations among various models of reversible computing, and systematized the theory of reversible computing.
|
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Nondegenerate 2-state 3-symbol reversible logic elements are all universal2005
Author(s)
T., Ogiro, A., Kanno, K., Tanaka, H., Kato, K., Morita
-
Journal Title
Int. Journal of Unconventional Computing Vol. 1, No. 1
Pages: 44-67
Description
「研究成果報告書概要(欧文)」より
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Classification and universality of reversible logic elements with one-bit memory2004
Author(s)
K., Morita, T., Ogiro, A., Kanno, K., Tanaka, H., Kato
Organizer
4th Int. Conf. on Machines, Computations, and Universality (LNCS 3354, pp.245-256)
Place of Presentation
Saint Petersburg, Russia
Year and Date
2004-09-23
Description
「研究成果報告書概要(欧文)」より
-
-
-
-
