Control Languages Associated with Tissue P Systems

  • Ajeesh Ramanujan
  • Kamala Krithivasan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7956)

Abstract

We consider a way to associate a language with the computations of a tissue P system. We assign a label to every rule, where the labels are chosen from an alphabet or the label can be λ. The rules used in a transition should have either the empty label or the same label from the chosen alphabet. In this way, a string is associated with each halting computation, called the control word of the computation. The set of all control words associated with computations in a tP system form the control language of the system. We study the family of control languages of tP systems in comparison with the families of finite, regular, context-free, context-sensitive, and recursively enumerable languages.

Keywords

P systems tP systems regular languages context-free languages context-sensitive languages recursively enumerable languages 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Păun, G.: Computing with membranes. Journal of Computer and System Science 61(1), 108–143 (2000)MATHCrossRefGoogle Scholar
  2. 2.
    Păun, G.: Membrane Computing - An Introduction. Springer, Berlin (2002)MATHCrossRefGoogle Scholar
  3. 3.
    Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford Univ. Press (2010)Google Scholar
  4. 4.
    Martín-Vide, C., Păun, G., Pazos, J., Rodríguez-Patón, A.: Tissue P systems. Theoretical Computer Science 296, 295–326 (2003)MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Alhazov, A., Ciubotaru, C., Ivanov, S., Rogozhin, Y.: The family of languages generated by non-cooperative membrane systems. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 65–80. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Alhazov, A., Ciubotaru, C., Rogozhin, Y., Ivanov, S.: The membrane systems language class. In: Proc. Eighth Brainstorming Week on Membrane Computing, Sevilla, pp. 23–35 (2010); Proc. LA Symposium. RIMS Kôkyûroku Series 1691, Kyoto University, pp. 44–50 (2010)Google Scholar
  7. 7.
    Ibarra, O.H., Păun, G.: Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems. Theoretical Computer Science 358, 88–103 (2006)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Ionescu, M., Martín-Vide, C., Păun, G.: P systems with symport/antiport rules: The traces of objects. Grammars 5, 65–79 (2002)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Păun, G.: Languages in membrane computing: Some details for spiking neural P systems. In: Ibarra, O.H., Dang, Z. (eds.) DLT 2006. LNCS, vol. 4036, pp. 20–35. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Păun, G., Rozenberg, G., Salomaa, A.: Membrane computing with an external output. Fundamenta Informaticae 41(3), 313–340 (2000)MathSciNetMATHGoogle Scholar
  11. 11.
    Ionescu, M.: Membrane Computing. Traces, Neural Inspired Models, Controls, PhD Thesis, URV Tarragona (2008)Google Scholar
  12. 12.
    Minsky, M.: Computation - Finite and infinite Machines. Prentice Hall, Englewood Cliffs (1967)MATHGoogle Scholar
  13. 13.
    Krithivasan, K., Păun, G., Ramanujan, A.: Control words associated with P systems. In: Gheorghe, M., Păun, G., Pérez-Jiménez, M.J. (eds.) Proceedings of 10th Brainstorming Week on Membrane Computing, Frontiers of Membrane Computing: Open Problems and Research Topics, Sevilla, vol. II, pp. 171–250 (2012)Google Scholar
  14. 14.
    Ramanujan, A., Krithivasan, K.: Control words of spiking neural P systems. Romanian J. of Information Science and Technology (to appear)Google Scholar
  15. 15.
    Păun, G., Pérez-Jiménez, M.J.: Languages and P systems: recent developments (manuscript)Google Scholar
  16. 16.
    Ramanujan, A., Krithivasan, K.: Control Words of Transition P Systems. In: Bansal, J.C., Singh, P.K., Deep, K., Pant, M., Nagar, A.K. (eds.) BIC-TA 2012. AISC, vol. 201, pp. 145–155. Springer, Heidelberg (2013)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Ajeesh Ramanujan
    • 1
  • Kamala Krithivasan
    • 1
  1. 1.Department of Computer Science and EngineeringIndian Institute of Technology MadrasChennaiIndia

Personalised recommendations