Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts
- 238 Downloads
The general concept, called the formal framework of P systems provides a representation to study and analyze different variants of P systems. In this paper, two well-known models, P colonies and P systems with multi-stable catalysts are considered. We show that the obtained representations are identical, thus both models can be related using a bi-simulation. This fact opens new approaches for studying both P colonies and catalytic P systems.
KeywordsFormal Framework Maximum Parallelism Forbidding Conditions Distinguished Catalysts Strong Simulation
The work of E. CS-V. was supported by the National Research, Development, and Innovation Office - NKFIH, Hungary, Grant no. K 120558.
- 6.Milner, R.: An algebraic definition of simulation between programs. In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence, IJCAI 1971, San Francisco, CA, USA, pp. 481–489. Morgan Kaufmann Publishers Inc. (1971)Google Scholar
- 7.Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2009)Google Scholar
- 8.Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vols. 1–3. Springer, Heidelberg (1997)Google Scholar
- 9.Verlan, S.: Study of language-theoretic computational paradigms inspired by biology. Habilitation thesis, Université Paris Est (2010)Google Scholar