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)MathSciNetMATHCrossRefGoogle Scholar
  3. 3.
    Murphy, N., Woods, D.: The computational power of membrane systems under tight uniformity conditions. Natural Computing 10(1), 613–632 (2011)MathSciNetMATHCrossRefGoogle 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)MathSciNetMATHGoogle 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)MathSciNetMATHCrossRefGoogle 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)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Ruzzo, W.L.: On uniform circuit complexity. Journal of Computer and System Sciences 22(3), 365–383 (1981)MathSciNetMATHCrossRefGoogle 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