Abstract
We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable anymore at the same time, whereas usually a computation is called halting if no rule is applicable anymore in the whole system. This new variant of partial halting is especially investigated for several variants of P systems using membrane rules with permitting contexts and working in different derivation modes.
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.: On determinism of evolution-communication P systems. Journal of Universal Computer Science 10(5), 502–508 (2004)
Alhazov, A.: Number of protons/bi-stable catalysts and membranes in P systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 79–95. Springer, Heidelberg (2006)
Alhazov, A.: Communication in Membrane Systems with Symbol Objects, Ph.D. Thesis, Tarragona, Spain (2006)
Alhazov, A., Freund, R., Oswald, M., Verlan, S.: Partial versus total halting in P systems. In: Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla (to appear, 2007)
Bernardini, F., Manca, V.: P systems with boundary rules. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) Membrane Computing. LNCS, vol. 2597, pp. 107–118. Springer, Heidelberg (2003)
Bernardini, F., Romero-Campero, F.J., Gheorghe, M., Pérez-Jiménez, M.J., Margenstern, M., Verlan, S., Krasnogor, N.: On P systems with bounded parallelism. In: Ciobanu, G., Păun, G. (eds.) Pre-Proc. of First International Workshop on Theory and Application of P Systems, Timisoara, Romania, September 26–27, 2005, pp. 31–36 (2005)
Cavaliere, M.: Evolution-communication P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) Membrane Computing. LNCS, vol. 2597, pp. 134–145. Springer, Heidelberg (2003)
Ciobanu, G., Pan, L., Păun, G., Pérez-Jiménez, M.J.: P systems with minimal parallelism (accepted for TCS)
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Heidelberg (1989)
Dassow, J., Păun, G.: On the power of membrane computing. Journal of Universal Computer Science 5(2), 33–49 (1999)
Freund, R., Oswald, M.: P Systems with activated/prohibited membrane channels. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) Membrane Computing. LNCS, vol. 2597, pp. 261–268. Springer, Heidelberg (2003)
Freund, R., Oswald, M.: P systems with partial halting (accepted, 2007)
Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.): WMC 2005. LNCS, vol. 3850. Springer, Heidelberg (2006)
Freund, R., Păun, G., Pérez-Jiménez, M.J.: Tissue-like P systems with channel states. Theoretical Computer Science 330, 101–116 (2005)
Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, New Jersey, USA (1967)
Păun, A., Păun, G.: The power of communication: P systems with symport/ antiport. New Generation Computing 20(3), 295–306 (2002)
Păun, G.: Computing with membranes. J. of Computer and System Sciences 61(1), 108–143 (2000) and TUCS Research Report 208 (1998) http://www.tucs.fi
Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)
Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.): Membrane Computing. LNCS, vol. 2597. Springer, Heidelberg (2003)
Rogozhin, Y., Alhazov, A., Freund, R.: Computational power of symport/antiport: history, advances, and open problems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 1–30. Springer, Heidelberg (2006)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. 3 volumes. Springer, Berlin (1997)
Verlan, S., Bernardini, F., Gheorghe, M., Margenstern, M.: On communication in tissue P systems: conditional uniport. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 507–521. Springer, Heidelberg (2006)
The P Systems Web Page, http://psystems.disco.unimib.it
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alhazov, A., Freund, R., Oswald, M., Verlan, S. (2007). Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. In: Durand-Lose, J., Margenstern, M. (eds) Machines, Computations, and Universality. MCU 2007. Lecture Notes in Computer Science, vol 4664. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74593-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-74593-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74592-1
Online ISBN: 978-3-540-74593-8
eBook Packages: Computer ScienceComputer Science (R0)