Advertisement

Acta Informatica

, Volume 49, Issue 6, pp 395–412 | Cite as

On the power of enzymatic numerical P systems

  • Cristian Ioan Vasile
  • Ana Brânduşa Pavel
  • Ioan Dumitrache
  • Gheorghe Păun
Original Article

Abstract

We study the computing power of a class of numerical P systems introduced in the framework of autonomous robot control, namely enzymatic numerical P systems. Three ways of using the evolution programs are investigated: sequential, all-parallel and one-parallel (with the same variable used in all programs or in only one, respectively); moreover, both deterministic and non-deterministic systems are considered. The Turing universality of some of the obtained classes of numerical P systems is proved (for polynomials with the smallest possible degree, one, also introducing a new proof technique in this area, namely starting the universality proof from the characterization of computable sets of numbers by means of register machines). The power of many other classes remains to be investigated.

Keywords

Production Function Robot Control Computing Mode Integer Coefficient Robot Behavior 
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.

Notes

Acknowledgments

The work of Gh. Păun was supported by Proyecto de Excelencia con Investigador de Reconocida Valía, de la Junta de Andalucía, grant P08—TIC 04200. Part of this work was supported by the Sectorial Operational Program Human Resources Development (SOP HRD), financed from the European Social Fund and by the Romanian Government under the contract number SOP HRD/107/1.5/S/82514. Useful remarks by two anonymous referees are gratefully acknowledged.

References

  1. Arsene, O., Buiu, C., Popescu, N.: SNUPS—a simulator for numerical membrane computing. Int. J. Innov. Comput. Inform. Control 7(6), 3509–3522 (2011)Google Scholar
  2. Buiu, C.: Towards integrated biologically inspired cognitive architectures, keynote talk. In: Proceedings of the International Conference on Electronics, Computers, and AI-ECAI’ 09, Pitesti, Romania, I,pagination pp. 2–9 (2009)Google Scholar
  3. Buiu, C., Vasile, C.I., Arsene, O.: Development of membrane controllers for mobile robots. Inform. Sci. 187, 33–51 (2012)CrossRefGoogle Scholar
  4. Korec, I.: Small universal register machines. Theor. Comput. Sci. 168, 267–301 (1996)MathSciNetzbMATHCrossRefGoogle Scholar
  5. Matijasevitch, Y.: Hilbert’s Tenth Problem. MIT Press, Cambridge (1993)Google Scholar
  6. Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)zbMATHGoogle Scholar
  7. Păun, Gh: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (2000)zbMATHCrossRefGoogle Scholar
  8. Păun, Gh: Membrane Computing—An Introduction. Springer, Berlin (2002)zbMATHCrossRefGoogle Scholar
  9. Păun, Gh, Păun, R.A.: Membrane computing and economics: numerical P systems. Fundamenta Informaticae 73, 213–227 (2006)MathSciNetzbMATHGoogle Scholar
  10. Păun, Gh, Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)zbMATHGoogle Scholar
  11. Pavel, A.B.: Membrane controllers for cognitive robots. Department of Automatic Control and System Engineering, Politehnica University of Bucharest, Romania, Master’s thesis (2011)Google Scholar
  12. Pavel, A.B., Arsene, O., Buiu, C.: Enzymatic numerical P systems—a new class of membrane computing systems. In: The IEEE Fifth International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA 2010) Liverpool, pp. 1331–1336 (2010)Google Scholar
  13. Pavel, A.B., Buiu, C.: Using enzymatic numerical P systems for modeling mobile robot controllers. Nat. Comput. (in press). doi: 10.1007/s11047-011-9286-5
  14. Pavel, A.B., Vasile, C.I., Dumitrache, I.: Robot localization implemented with enzymatic numerical P systems. In: Proceedings of Living Machines 2012, Lecture Notes in Artificial Intelligence 7375, pp. 204–215. Springer, Berlin (2012)Google Scholar
  15. Rozenberg, G., Salomaa, A.: Cornerstones of Undecidability. Prentice Hall, New York (1994)zbMATHGoogle Scholar
  16. The P Systems Web Page: http://ppage.psystems.eu (2012)

Copyright information

© Springer-Verlag 2012

Authors and Affiliations

  • Cristian Ioan Vasile
    • 1
  • Ana Brânduşa Pavel
    • 1
  • Ioan Dumitrache
    • 1
  • Gheorghe Păun
    • 2
    • 3
  1. 1.Department of Automatic Control and Systems EngineeringPolitehnica University of BucharestBucharestRomania
  2. 2.Institute of Mathematics of the Romanian AcademyBucharestRomania
  3. 3.Research Group on Natural Computing, Department of Computer Science and Artificial IntelligenceUniversity of SevillaSevillaSpain

Personalised recommendations