Advertisement

Sublinear-Space P Systems with Active Membranes

  • Antonio E. Porreca
  • Alberto Leporati
  • Giancarlo Mauri
  • Claudio Zandron
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7762)

Abstract

We introduce a weak uniformity condition for families of P systems, DLOGTIME uniformity, inspired by Boolean circuit complexity. We then prove that DLOGTIME-uniform families of P systems with active membranes working in logarithmic space (not counting their input) can simulate logarithmic-space deterministic Turing machines.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alhazov, A., Leporati, A., Mauri, G., Porreca, A.E., Zandron, C.: The computational power of exponential-space P systems with active membranes. In: Martínez-del-Amor, M.A., Păun, G., Pérez-Hurtado, I., Romero-Campero, F.J. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing, vol. I, pp. 35–60. Fénix Editora (2012)Google Scholar
  2. 2.
    Mix Barrington, D.A., Immerman, N., Straubing, H.: On uniformity within \(\textrm{NC}^1\). Journal of Computer and System Sciences 41(3), 274–306 (1990)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Murphy, N., Woods, D.: The computational power of membrane systems under tight uniformity conditions. Natural Computing 10(1), 613–632 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Păun, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics 6(1), 75–90 (2001)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: Complexity classes in models of cellular computing with membranes. Natural Computing 2(3), 265–284 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Introducing a space complexity measure for P systems. International Journal of Computers, Communications & Control 4(3), 301–310 (2009)Google Scholar
  7. 7.
    Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P systems with active membranes working in polynomial space. International Journal of Foundations of Computer Science 22(1), 65–73 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Ruzzo, W.L.: On uniform circuit complexity. Journal of Computer and System Sciences 22(3), 365–383 (1981)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Antonio E. Porreca
    • 1
  • Alberto Leporati
    • 1
  • Giancarlo Mauri
    • 1
  • Claudio Zandron
    • 1
  1. 1.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità degli Studi di Milano-BicoccaMilanoItaly

Personalised recommendations