Conservative logic is a mathematical model of computation that reflects some properties of microdynamical laws of physics, such as reversibility and the conservation of the internal energy of the physical system used to perform the computations. The model is based upon the Fredkin gate, a reversible and conservative three–input/three–output boolean gate which is functionally complete for boolean logic. Computations are performed by reversible circuits composed by Fredkin gates. In this paper we introduce energy–based P systems as a parallel and distributed model of computation in which the amount of energy manipulated and/or consumed during computations is taken into account. Moreover, we show how energy–based P systems can be used to simulate reversible Fredkin circuits. The simulating systems turn out to be themselves reversible and conservative.

Leporati, A., Zandron, C., Mauri, G. (2005). Universal Families of Reversible P Systems. In Machines, Computations, and Universality. 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (pp.257-268). Springer-Verlag [10.1007/978-3-540-31834-7_21].

Universal Families of Reversible P Systems

LEPORATI, ALBERTO OTTAVIO;ZANDRON, CLAUDIO;MAURI, GIANCARLO
2005

Abstract

Conservative logic is a mathematical model of computation that reflects some properties of microdynamical laws of physics, such as reversibility and the conservation of the internal energy of the physical system used to perform the computations. The model is based upon the Fredkin gate, a reversible and conservative three–input/three–output boolean gate which is functionally complete for boolean logic. Computations are performed by reversible circuits composed by Fredkin gates. In this paper we introduce energy–based P systems as a parallel and distributed model of computation in which the amount of energy manipulated and/or consumed during computations is taken into account. Moreover, we show how energy–based P systems can be used to simulate reversible Fredkin circuits. The simulating systems turn out to be themselves reversible and conservative.
paper
Reversible P systems, Energy-based P systems
English
4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004
2004
Machines, Computations, and Universality. 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
9783540252610
2005
3354
257
268
none
Leporati, A., Zandron, C., Mauri, G. (2005). Universal Families of Reversible P Systems. In Machines, Computations, and Universality. 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (pp.257-268). Springer-Verlag [10.1007/978-3-540-31834-7_21].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/11993
Citazioni
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 3
Social impact