Abstract
In this paper, we study concentration controlled P systems having catalysts, bi-stable catalysts and mobile catalysts. We show that computational universality can be obtained for pure catalytic P systems using 2 bi-stable catalysts and 1 membrane, improving the known universality result [2]. We also give universality results using catalysts, and mobile catalysts. Further, we identify some subclasses of these which are not computationally complete.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dassow, J., Păun, Gh.: Regulated Rewriting in Formal Language Theory. Springer, Heidelberg (1989)
Dassow, J., Păun, Gh.: P Systems with Communication Based on Concentration. Acta Cybernetica 15(1), 9–24 (2001)
Freund, R., Kari, L., Oswald, M., Sosik, P.: Computationally Universal P Systems without Priorities: two catalysts are sufficient. Theoretical Computer Science 330, 251–266 (2005)
Freund, R., Păun, Gh.: On the Number of Non-terminals in Graph-controlled, Programmed, and Matrix Grammars. In: Proceedings of UMC, pp. 214–225 (2001)
Ibarra, O.H., Dang, Z., Egecioglu, O., Saxena, G.: Characterizations of Catalytic Membrane Computing Systems. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 480–489. Springer, Heidelberg (2003)
Krishna, S.N.: On Pure Catalytic P Systems. In: Calude, C.S., Dinneen, M.J., Păun, G., Rozenberg, G., Stepney, S. (eds.) UC 2006. LNCS, vol. 4135, pp. 152–165. Springer, Heidelberg (2006)
Krishna, S.N., Păun, A.: Results on Catalytic and Evolution-Communication P Systems. New Generation Computing 22(4), 377–394 (2004)
Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)
Păun, Gh.: Computing with Membranes, A Variant. International Journal of Foundations of Computer Science 11(1), 167–182 (2000)
Păun, Gh.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Păun, Gh.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Păun, Gh.: Tracing Some Open Problems in Membrane Computing. Romanian Journal of Information Science and Technology 10(4) (2007)
Salomaa, A.: Formal Languages. Academic Press, London (1973)
The membrane computing web page, http://psystems.disco.unimib.it or http://ppage.psystems.eu/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krishna, S.N. (2008). The Expressiveness of Concentration Controlled P Systems. In: Calude, C.S., Costa, J.F., Freund, R., Oswald, M., Rozenberg, G. (eds) Unconventional Computing. UC 2008. Lecture Notes in Computer Science, vol 5204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85194-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-85194-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85193-6
Online ISBN: 978-3-540-85194-3
eBook Packages: Computer ScienceComputer Science (R0)