Simulating the Fredkin gate with energy-based P systems

Journal of Universal Computer Science

Volumn 10, Issue 5, 2004, Pages 600-619

  Leporati, Alberto ^a   Zandron, Claudio ^a   Mauri, Giancarlo ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

Conservative logic; Conservativeness; Energy based P systems; Fredkin gate; Reversibility

Indexed keywords

EID: 23844558805     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (34)

1. [Alford 2002] Alford G.: "Membrane Systems with Heat Control"; "Pre-Proceedings of Workshop on Membrane Computing", Curtea de Arges, Romania, August 2002, MolCoNet Publication No 1. (2002) http://psystems.disco. unimib.it/VolumeContents/WMC02.pdf
2. [Bekenstein 1981] Bekenstein J.D.: "Energy Cost of Information Transfer"; Physical Review Letters, 46, 10 (1981), 623-626
3. [Benioff 1982] Benioff P.: "Quantum Mechanical Models of Turing Machines that Dissipate no Energy"; Physical Review Letters, 48, 23 (1982) 1581-1585
4. [Bennett 1973] Bennett C.H.: "Logical Reversibility of Computation"; IBM Journal of Research and Development, 17 (Nov. 1973) 525-532
5. [Cattaneo et al. 2002a] Cattaneo G., Della Vedova G. Leporati A., Leporini R.: "Towards a Theory of Conservative Computing"; International Journal of Theoretical Physics, to appear. Preprint available at http://arxiv.org/abs/quant-ph/0211085, (Nov. 2002)
6. [Cattaneo et al. 2002b] Cattaneo G., Leporati A., Leporini R.: "Fredkin Gates for Finite-valued Reversible and Conservative Logics"; Journal of Physics A: Mathematical and General, 35 (Nov. 2002), 9755-9785
7. [Cattaneo et al. 2001] Cattaneo G., Leporati A., Leporini R.: "Quantum Conservative Gates for Finite-valued Logics"; International Journal of Theoretical Physics, to appear
8. [Ceterchi and Sburlan 2003] Ceterchi R., Sburlan D.: "Simulating Boolean Circuits with P Systems"; "Membrane Computing, Proceedings of the International Workshop WMC 2003", Tarragona, Spain, July 2003, Lecture Notes in Computer Science 2933, Springer (2003), 104-122
9. [Erk 1999] Erk K.: "Simulating Boolean Circuits by Finite Splicing"; Proceedings of the Congress on Evolutionary Computation, IEEE Press, 2, 6-9 (1999), 1279-1285
10. [Fredkin and Toffoli 1982] Fredkin E., Toffoli T.: "Conservative Logic"; International Journal of Theoretical Physics, 21, 3-4 (1982), 219-253
11. [Freund 2002] Freund R.: "Energy-Controlled P Systems"; "Membrane Computing, Proceedings of the International Workshop WMC-CdeA 2002", Curtea de Arges, Romania, August 2002, Lecture Notes in Computer Science 2597, Springer (2002), 247-260
12. [Freund et al. 2004] Freund R., Leporati A., Oswald M., Zandron C.: "Sequential P Systems with Unit Rules and Energy Assigned to Membranes"; "Second Week on Membrane Computing"; Sevilla, Spain, Feb. 2-7, 2004, Research Group on Natural Computing, University of Sevilla, Technical Report 01/2004, (2004), 168-182
13. [Frisco 2004] Frisco P.: "The Conformon-P System: A Molecular and Cell Biology-Inspired Computability Model"; Theoretical Computer Science, 312 (2004), 295-319
14. [Frisco and Ji 2002a] Frisco P., Ji S.: "Conformons-P Systems"; "DNA Computing, Proceedings of 8th International Workshop on DNA-Based Computers, DNA 8", Sapporo, Japan, June 2002, Lecture Notes in Computer Science 2568, Springer (2002), 291-301
15. [Frisco and Ji 2002b] Frisco P., Ji S.: "Towards a Hierarchy of Conformons-P Systems"; "Membrane Computing, Proceedings of the International Workshop WMC-CdeA 2002", Curtea de Arges, Romania, August 2002, Lecture Notes in Computer Science 2597, Springer (2002), 302-318
16. [Ji 2001] Ji S.: "The Bhopalator: An Information/Energy Dual Model of the Living Cell"; Fundamenta Informaticae, 49, 1-3 (2002), 147-165
17. [Klein et al. 1999] Klein J.P., Leete T.H., Rubin H.: "A Biomolecular Implementation of Logically Reversible Computation with Minimal Energy Dissipation"; BioSystems, 52 (1999) 15-23
18. [Landauer 1961] Landauer R.: "Irreversibility and Heat Generation in the Computing Process"; IBM Journal of Research and Development, 5 (1961) 183-191
19. [Landauer 1982] Landauer R.: "Uncertainty Principle and Minimal Energy Dissipation in the Computer"; International Journal of Theoretical Physics, 21, 3-4 (1982) 283-297
20. [Mauri and Leporati 2003] Mauri G., Leporati A.: "On the Computational Complexity of Conservative Computing"; "Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 2003", Lecture Notes in Computer Science 2747, Springer (2003), 92-112
21. [Ogihara and Ray 1996] Ogihara M., Ray A.: "Simulating Boolean Circuits on a DNA Computer"; Technical Report 631 (1996). http://citeseer.nj.nec.com/ogihara96simulating.html
22. [Pǎun 1998] Pǎun Gh.: "Computing with Membranes"; Journal of Computer and System Sciences, 1, 61 (2000) 108-143
23. [Pǎun 1999] Pǎun Gh.: "Computing with Membranes. An Introduction"; Bulletin of the EATCS, 67 (Feb. 1999) 139-152
24. [Pǎun 2000] Pǎun Gh.: "Computing with Membranes. A Variant: P Systems with Polarized Membranes"; International Journal on Foundations of Computer Science, 11, 1 (2000), 167-182 http://www.cs.auckland. ac.nz/CDMTCS
25. [Pǎun 2002] Pǎun Gh.: "Membrane Computing. An Introduction"; Springer, Berlin (2002)
26. [Pǎun and Rozenberg 2002] Pǎun Gh., Rozenberg Gh.: "A Guide to Membrane Computing"; Theoretical Computer Science, 287, 1 (2002), 73-100
27. [Pǎun et al. 2001] Pǎun Gh., Suzuki Y., Tanaka H.: "P Systems with Energy Accounting"; International Journal Computer Math., 78, 3 (2001), 343-364
28. [Petri 1965] Petri C.A.: "Gründsatzliches zur Beschreibung diskreter Prozesse"; Proceedings of the 3rd Colloquium über Automatentheorie, Hannover (1965), Birkhäuser Verlag, Basel (1967), 121-140.
29. English translation: Fundamentals of the Representation of Discrete Processes, ISF Report 82.04 (1982)
30. [Prakash and Krithivasan 2004] Prakash V.J., Krithivasan K.: "Simulating Boolean Circuits with Tissue P Systems"; manuscript (2004)
31. [P systems Web page] The P systems Web page: http://psystems.disco. unimib.it/
32. [Vollmer 1999] Vollmer H.: "Introduction to Circuit Complexity: A Uniform Approach"; Springer, Berlin (1999)
33. [Zandron et al. 2001] Zandron C., Ferretti C. Mauri, G.: "Using Membrane Features in P Systems"; Romanian Journal of Information Science and Technology, 4, 1-2 (2001), 241-257
34. [Zandron et al. 2000] Zandron C., Mauri G., Ferretti C.: "Universality and Normal Forms on Membrane Systems" (R. Freund, A. Kelemenova, eds.), "Proceedings of the International Workshop on Grammar Systems", July 2000, Bad Ischl, Austria (2000), 61-74