A Small Universal Splicing P System

  • Artiom Alhazov
  • Yurii Rogozhin
  • Sergey Verlan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6501)


In this article we present a universal splicing P system with 6 rules. Thus we improve the previous result that used 8 rules and lower the possible value for the boundary between the universality and non-universality for such systems.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alhazov, A., Verlan, S.: Minimization strategies for maximally parallel multiset rewriting systems. Technical Report 862, TUCS Report No. 862 (2008), and arXiv:1009.2706v1 [cs.FL] (September 14, 2010),
  2. 2.
    Cocke, J., Minsky, M.: Universality of Tag Systems with P=2. Journal of the ACM 11(1), 15–20 (1964)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Csuhaj-Varjú, E., Margenstern, M., Vaszil, G., Verlan, S.: Small Computationally Complete Symport/Antiport P systems. Theoretical Computer Science 372(2-3), 152–164 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Frisco, P.: Computing with Cells: Advances in Membrane Computing. Oxford University Press, Oxford (2009)CrossRefzbMATHGoogle Scholar
  5. 5.
    Head, T.: Formal Language Theory and DNA: an Analysis of the Generative Capacity of Specific Recombinant Behaviors. Bulletin of Mathematical Biology 49(6), 737–759 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley, Reading (2001)zbMATHGoogle Scholar
  7. 7.
    Minsky, M.: Computations: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)zbMATHGoogle Scholar
  8. 8.
    Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)CrossRefzbMATHGoogle Scholar
  9. 9.
    Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing: New Computing Paradigms. Springer, Heidelberg (1998)CrossRefzbMATHGoogle Scholar
  10. 10.
    Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)zbMATHGoogle Scholar
  11. 11.
    Rogozhin, Y., Verlan, S.: On the Rule Complexity of Universal Tissue P Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 356–362. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Heidelberg (1997)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Artiom Alhazov
    • 1
    • 2
  • Yurii Rogozhin
    • 1
  • Sergey Verlan
    • 3
    • 1
  1. 1.Institute of Mathematics and Computer ScienceAcademy of Sciences of MoldovaChişinăuMoldova
  2. 2.IEC, Department of Information Engineering, Graduate School of EngineeringHiroshima UniversityHigashi-HiroshimaJapan
  3. 3.LACL, Département InformatiqueUniversité Paris EstCréteilFrance

Personalised recommendations