Abstract
We further investigate the computing power of the recently introduced P systems with \(\mathbb Z\)-multisets (also known as hybrid sets) as generative devices. These systems apply catalytic rules in the maximally parallel way, even consuming absent non-catalysts, thus effectively generating vectors of arbitrary (not just non-negative) integers. The rules may only be made inapplicable by dissolution rules. However, this releases the catalysts into the immediately outer region, where new rules might become applicable to them. We discuss the generative power of this model. Finally, we consider the variant with mobile catalysts.
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
Similar content being viewed by others
References
Alhazov, A., Aman, B., Freund, R., Păun, G.: Matter and anti-matter in membrane systems. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 65–76. Springer, Heidelberg (2014). doi:10.1007/978-3-319-09704-6_7
Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Semilinear sets, register machines, and integer vector addition (P) systems. In: Leporati, A., Zandron, C. (eds.) Proceedings of the Seventeenth International Conference on Membrane Computing (CMC17), 25–29 July 2016, Milan, Italy, pp. 39–56. Università degli Studi di Milano-Bicocca (2016)
Belingheri, O., Porreca, A.E., Zandron, C.: P systems with hybrid sets. In: Gheorghe, M., Konur, S. (eds.) Proceedings of the Workshop on Membrane Computing WMC 2016, Manchester (UK), 11–15 July 2016. School of Electrical Engineering and Computer Science, University of Bradford, Bradford, BD7 1DP, UK. Technical Report UB-20160819-1, pp. 34–41. University of Bradford (2016)
Carette, J., Sexton, A.P., Sorge, V., Watt, S.M.: Symbolic domain decomposition. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) CICM 2010. LNCS (LNAI), vol. 6167, pp. 172–188. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14128-7_16
Freund, R., Ibarra, O., Păun, G., Yen, H.C.: Matrix languages, register machines, vector addition systems. In: Naranjo, M.A.G., Riscos-Núñez, A., Romero-Campero, F.J., Sburlan, D. (eds.) Third Brainstorming Week on Membrane Computing, pp. 155–167. Fénix Editora, Sevilla, España (2005)
Freund, R., Ivanov, S., Verlan, S.: P systems with generalized multisets over totally ordered abelian groups. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 117–136. Springer, Heidelberg (2015). doi:10.1007/978-3-319-28475-0_9
Greibach, S.A.: Remarks on blind and partially blind one-way multicounter machines. Theoret. Comput. Sci. 7(3), 311–324 (1978)
Haase, C., Halfon, S.: Integer vector addition systems with states. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 112–124. Springer, Heidelberg (2014). doi:10.1007/978-3-319-11439-2_9
Hopcroft, J., Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theoret. Comput. Sci. 8(2), 135–159 (1979)
Krishna, S.N., Păun, A.: Results on catalytic and evolution-communication P systems. New Gener. Comput. 22(4), 377–394 (2004)
Păun, G.: Some quick research topics. http://www.gcn.us.es/files/OpenProblems_bwmc15.pdf
Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (1998)
Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc., New York (2010)
The P Systems Website: http://ppage.psystems.eu
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C. (2017). Purely Catalytic P Systems over Integers and Their Generative Power. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2016. Lecture Notes in Computer Science(), vol 10105. Springer, Cham. https://doi.org/10.1007/978-3-319-54072-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-54072-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54071-9
Online ISBN: 978-3-319-54072-6
eBook Packages: Computer ScienceComputer Science (R0)