Abstract
We introduce a new variant of membrane systems where the rules are directly assigned to membranes (and not to the regions as this is usually observed in the area of membrane systems) and, moreover, every membrane carries an energy value that can be changed during a computation by objects passing through the membrane. For the application of rules leading from one configuration of the system to the succeeding configuration we consider a sequential derivation mode and do not use the mode of maximal parallelism. The result of a successful computation is considered to be the distribution of energy values carried by the membranes. We show that for such systems using a kind of priority relation on the rules we already obtain universal computational power. When omitting the priority relation, we obtain a characterization of the family of Parikh sets generated by context-free matrix grammars (with λ -rules).
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
Dassow, J., Pǎun, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)
Freund, R.: Generalized P-systems. In: Ciobanu, G., Păun, G. (eds.) FCT 1999. LNCS, vol. 1684, pp. 281–292. Springer, Heidelberg (1999)
Freund, R.: Sequential P-systems. Romanian Journal of Information Science and Technology 4(1-2), 77–88 (2001)
Freund, R.: Energy-controlled P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 247–260. Springer, Heidelberg (2003)
Freund, R., Leporati, A., Oswald, M., Zandron, C.: Sequential P systems with unit rules and energy assigned to membranes. In: [15], pp. 168–182 (2004)
Freund, R., Oswald, M.: GP Systems with forbidding context. Fundamenta Informaticae 49(1-3), 81–102 (2002)
Freund, R., Oswald, M.: P systems with conditional communication rules assigned to membranes. (to appear in JALC)
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)
Freund, R., Pǎun, G.: From regulated rewriting to computing with membranes: collapsing hierarchies. Theoretical Computer Science 312, 143–188 (2004)
Leporati, A., Mauri, G., Zandron, C.: Simulating the Fredkin gate with energy-based P systems. In: [15], pp. 292–308 (2004)
Minsky, M.L.: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)
Pǎun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000); TUCS Research Report 208 (1998) http://www.tucs.fi
Páun, G.: Membrane Computing: an Introduction. Springer, Berlin (2002)
Páun, G., Suzuki, Y., Tanaka, H.: P Systems with energy accounting. Int. J. Computer Math. 78(3), 343–364 (2001)
Páun, G., Riscos Nuñez, A., Romero Jiménez, A., Sancho Caparrini, F. (eds.): Second Week on Membrane Computing. Sevilla, Spain, February 2-7, 2004. Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla Tech. Report 01/2004 (2004)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Heidelberg (1997)
The P Systems Web Page, http://psystems.disco.unimib.it
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
Freund, R., Leporati, A., Oswald, M., Zandron, C. (2005). Sequential P Systems with Unit Rules and Energy Assigned to Membranes. In: Margenstern, M. (eds) Machines, Computations, and Universality. MCU 2004. Lecture Notes in Computer Science, vol 3354. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31834-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-31834-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25261-0
Online ISBN: 978-3-540-31834-7
eBook Packages: Computer ScienceComputer Science (R0)