Abstract
We introduce in the P systems area a mechanism, inspired from neural-cell behavior, which controls computations by inhibiting and de-inhibiting evolution rules. We investigate the computational power of this mechanism in both generative and accepting P systems. In particular, we prove that universality can be obtained by using one catalyst. If we use only non-cooperative rules and one membrane, then we can obtain at least the family of Parikh images of the languages generated by ET0L systems. Several research proposals are also suggested.
This is a preview of subscription content, log in via an institution to check access.
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
Alhazov, A., Ishdorj, T.O.: Membrane Operations in P Systems with Active Membranes, Second Brainstorming Week on Membrane Computing, Technical Report 01/2004, University of Seville, Seville, 37–44 (2004)
Alhazov, A., Cavaliere, M.: Proton Pumping P Systems. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 70–88. Springer, Heidelberg (2004)
Ardelean, I.I., Cavaliere, M., Sburlan, D.: Computing Using Signals: From Cells to P Systems, Second Brainstorming Week on Membrane Computing, Technical Report 01/2004, University of Seville, Seville, 60–73, and Soft Computing (in press) (2004)
Arroyo, F., Baranda, A.V., Castellanos, J., Păun, G.: Membrane Computing: The Power of (Rule) Creation. Journal of Universal Computer Science 8(3), 369–381 (2002)
Bottoni, P., Martín-Vide, C., Păun, G., Rozenberg, G.: Membrane Systems with Promoters/Inhibitors. Acta Informatica 38(10), 695–720 (2002)
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)
Ionescu, M., Ishdorj, T.-O.: Replicative-Distribution Rules in P Systems with Active Membranes. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 68–83. Springer, Heidelberg (2005)
Ionescu, M., Sburlan, D.: On P Systems with Promoters/Inhibitors, Second Brainstorming Week on Membrane Computing, Technical Report 01/2004, University of Seville, Seville, 264–280, and Journal of Universal Computer Science 10(5), 581–599 (2004)
Minsky, M.L.: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)
Pan, L., Alhazov, A., Ishdorj, T.-O.: Further Remarks on P Systems with Active Membranes, Separation, Merging and Release Rules, Soft Computing (in press)
Pan, L., Ishdorj, T.-O.: P Systems with Active Membranes and Separation Rules. Journal of Universal Computer Science 10(5), 630–649 (2004)
Păun, G.: Membrane Computing: An Introduction. Springer, Berlin (2002)
Păun, G., Rozenberg, G.: A Guide to Membrane Computing. Theoretical Computer Science 287(1), 73–100 (2002)
Pazos, J., Rodriguez-Paton, A., Silva, A.: Solving SAT in Linear Time with a Neural-Like Membrane System. In: Mira, J., Álvarez, J.R. (eds.) IWANN 2003. LNCS, vol. 2686, pp. 662–669. Springer, Heidelberg (2003)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)
Shepherd, G.M.: Neurobiology. Oxford University Press, NY (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cavaliere, M., Ionescu, M., Ishdorj, TO. (2005). Inhibiting/De-inhibiting Rules in P Systems. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2004. Lecture Notes in Computer Science, vol 3365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31837-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-31837-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25080-7
Online ISBN: 978-3-540-31837-8
eBook Packages: Computer ScienceComputer Science (R0)