Tissue P Systems with Cell Separation: Upper Bound by PSPACE
- 680 Downloads
Tissue P systems are a class of bio-inspired computing models motivated by biochemical interactions between cells in a tissue-like arrangement. This organization is formally described by an interaction graph with membranes at its vertices. Membranes communicate by exchanging objects from a finite set. This basic model was enhanced with the operation of cell separation, resulting in tissue P systems with cell separation. Uniform families of tissue P systems were recently studied. Their computational power was shown to range between P and NP ∪ co − NP, characterizing borderlines between tractability and intractability by length of rules and some other features. Here we show that the computational power of these uniform families in polynomial time is limited from above by the class PSPACE. In this way we relate the information-processing potential of bio-inspired tissue-like systems to classical parallel computing models as PRAM or alternating Turing machine.
KeywordsTissue P system membrane computing membrane separation PSPACE
Unable to display preview. Download preview PDF.
- 7.Lakshmanan, K., Rama, R.: The computational efficiency of insertion deletion tissue P systems. In: Subramanian, K., Rangarajan, K., Mukund, M. (eds.) Formal Models, Languages and Applications, pp. 235–245. World Scientific (2006)Google Scholar
- 15.Păun, G., Pérez-Jiménez, M., Riscos-Núñez, A.: Tissue P systems with cell division. Int. J. of Computers, Communications and Control 3(3), 295–303 (2008)Google Scholar
- 16.Sosík, P.: Limits of the power of tissue P systems with cell division. In: Proceedings of the Thirteenth International Conference on Membrane Computing (to appear, 2012)Google Scholar
- 18.The P Systems Web Page, http://ppage.psystems.eu/ (cit. May 29, 2012)