Abstract
The enhanced mobile membranes is a variant of membrane systems which has been proposed for describing some biological mechanisms of the immune system. In this paper, we study the computational power of the enhanced mobile membranes. In particular, we focus on the power of mobility given by the operations endo, exo, fendo and fexo. The computational universality is obtained with 12 membranes, while systems with 8 membranes subsume ET0L, and those with 3 membranes are contained in MAT.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aman, B., Ciobanu, G.: Describing the Immune System Using Enhanced Mobile Membranes. In: Proceedings FBTC, CONCUR 2007, pp. 1–14 (2007)
Cardelli, L.: Brane Calculi, Interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)
Dassow, J., Paun, G.: Regulated Rewriting in Formal Language Theory. Springer, Heidelberg (1989)
Freund, R., Păun, G.: On the number of non-terminals in graph-controlled, programmed, and matrix grammars. In: Margenstern, M., Rogozhin, Y. (eds.) MCU 2001. LNCS, vol. 2055, pp. 214–225. Springer, Heidelberg (2001)
Krishna, S.N., Paun, G.: P Systems with Mobile Membranes. Natural Computing 4(3), 255–274 (2005)
Krishna, S.N.: The Power of Mobility: Four Membranes Suffice. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 242–251. Springer, Heidelberg (2005)
Krishna, S.N.: Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol. 3988, pp. 526–535. Springer, Heidelberg (2006)
Paun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Paun, G.: P Systems with Active Membranes: Attacking NP-Complete Problems. Journal of Automata, Languages and Combinatorics 6(1), 75–90 (2001)
Paun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Rozenberg, G., Salomaa, A. (eds.): The Mathematical Theory of L Systems. Academic Press (1980)
Salomaa, A.: Formal Languages. Academic Press (1973)
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., Ciobanu, G. (2008). On the Computational Power of Enhanced Mobile Membranes. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds) Logic and Theory of Algorithms. CiE 2008. Lecture Notes in Computer Science, vol 5028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69407-6_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-69407-6_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69405-2
Online ISBN: 978-3-540-69407-6
eBook Packages: Computer ScienceComputer Science (R0)