Advertisement

Energy-Based Models of P Systems

  • Giancarlo Mauri
  • Alberto Leporati
  • Claudio Zandron
Conference paper
  • 397 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5957)

Abstract

Energy plays an important role in many theoretical computational models. In this paper we review some results we have obtained in the last few years concerning the computational power of two variants of P systems that manipulate energy while performing their computations: energy-based and UREM P systems. In the former, a fixed amount of energy is associated to each object, and the rules transform objects by manipulating their energy. We show that if we assign local priorities to the rules, then energy–based P systems are as powerful as Turing machines, otherwise they can be simulated by vector addition systems and hence are not universal. We also discuss the simulation of conservative and reversible circuits of Fredkin gates by means of (self)–reversible energy–based P systems. On the other side, UREM P systems are membrane systems in which a given amount of energy is associated to each membrane. The rules transform and move single objects among the regions. When an object crosses a membrane, it may modify the associated energy value. Also in this case, we show that UREM P systems reach the power of Turing machines if we assign a sort of local priorities to the rules, whereas without priorities they characterize the class PsMAT λ , and hence are not universal.

Keywords

Turing Machine Elementary Membrane Local Priority Register Machine Membrane Computing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alhazov, A., Freund, R., Leporati, A., Oswald, M., Zandron, C.: (Tissue) P systems with unit rules and energy assigned to membranes. Fundamenta Informaticae 74, 391–408 (2006)zbMATHMathSciNetGoogle Scholar
  2. 2.
    Fredkin, E., Toffoli, T.: Conservative logic. International Journal of Theoretical Physics 21(3-4), 219–253 (1982)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Freund, R.: Energy–controlled P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 247–260. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Freund, R., Leporati, A., Oswald, M., Zandron, C.: Sequential P systems with unit rules and energy assigned to membranes. In: Margenstern, M. (ed.) MCU 2004. LNCS, vol. 3354, pp. 200–210. Springer, Heidelberg (2005)Google Scholar
  5. 5.
    Freund, R., Oswald, M.: GP systems with forbidding context. Fundamenta Informaticae 49(1-3), 81–102 (2002)zbMATHMathSciNetGoogle Scholar
  6. 6.
    Frisco, P.: The conformon–P system: a molecular and cell biology–inspired computability model. Theoretical Computer Science 312, 295–319 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Karp, R., Miller, R.: Parallel program schemata. Journal of Computer and System Science 3(4), 167–195 (1968); Also RC2053, IBM T.J. Watson Research Center, New York (April 1968)MathSciNetGoogle Scholar
  8. 8.
    Leporati, A., Besozzi, D., Cazzaniga, P., Pescini, D., Ferretti, C.: Computing with energy and chemical reactions. Natural Computing (2009), doi:10.1007/s11047-009-9160-xGoogle Scholar
  9. 9.
    Leporati, A., Mauri, G., Zandron, C.: Quantum sequential P systems with unit rules and energy assigned to membranes. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 310–325. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Leporati, A., Zandron, C., Mauri, G.: Simulating the Fredkin gate with energy-based P systems. Journal of Universal Computer Science 10(5), 600–619 (2004)MathSciNetGoogle Scholar
  11. 11.
    Leporati, A., Zandron, C., Mauri, G.: Reversible P systems to simulate Fredkin circuits. Fundamenta Informaticae 74, 529–548 (2006)zbMATHMathSciNetGoogle Scholar
  12. 12.
    Minsky, M.L.: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)zbMATHGoogle Scholar
  13. 13.
    Păun, Gh.: Computing with membranes. Journal of Computer and System Sciences 1(61), 108–143 (2000); See also Turku Centre for Computer Science – TUCS Report No. 208 (1998)CrossRefGoogle Scholar
  14. 14.
    Păun, Gh.: Membrane Computing. An Introduction. Springer, Berlin (2002)zbMATHGoogle Scholar
  15. 15.
    Păun, Gh., Suzuki, Y., Tanaka, H.: P systems with energy accounting. International Journal Computer Math. 78(3), 343–364 (2001)zbMATHCrossRefGoogle Scholar
  16. 16.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs (1981)Google Scholar
  17. 17.
    The P systems, http://ppage.psystems.eu

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Giancarlo Mauri
    • 1
  • Alberto Leporati
    • 1
  • Claudio Zandron
    • 1
  1. 1.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità degli Studi di MilanoMilanoItaly

Personalised recommendations