Abstract
Taking advantage of the weak determinism inherent to the simulation of deterministic register machines by catalytic P systems, we present an efficient implementation of such P systems.
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
Arroyo, F., Luengo, C., Baranda, A.V., de Mingo, L.F.: A software simulation of transition P systems in Haskell. In: [15], pp. 19–32
Ciobanu, G., Wenyuan, G.: P systems running on a cluster of computers. In: [9], pp. 123–139
Dang, Z., Egecioglu, O., Ibarra, O.H., Saxena, G.: Characterizations of catalytic membrane computing systems. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 480–489. Springer, Heidelberg (2003)
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.: GP systems with forbidding context. Fundamenta Informaticae 49(1-3), 81–102 (2002)
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., Kari, L., Oswald, M., SosÃk, P.: Computationally universal P systems without priorities: two catalysts are sufficient. To appear in Theoretical Computer Science. Preversion downloadable at [18]
Freund, R., Păun, G.: From regulated rewriting to computing with membranes: collapsing hierarchies. Theoretical Computer Science 312, 143–188 (2004)
MartÃn-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.): WMC 2003. LNCS, vol. 2933. Springer, Heidelberg (2004)
Minsky, M.L.: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)
Oswald, M.: P Automata. PhD thesis. Vienna University of Technology (2003)
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Păun, G.: Computing with membranes: an introduction. Bulletin EATCS 67, 139–152 (1999)
Păun, G.: Membrane Computing: an Introduction. Springer, Berlin (2002)
Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.): Membrane Computing. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597. Springer, Heidelberg (2003)
SosÃk, P., Freund, R.: P systems without priorities are computationally universal. In: [15], pp. 400–409
Syropoulos, A., Mamatas, E.G., Allilomes, P.C., Sotiriades, K.T.: A distributed simulation of transition P systems. In: [9], pp. 357–368
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
Binder, A., Freund, R., Lojka, G., Oswald, M. (2005). Implementation of Catalytic P Systems. In: Domaratzki, M., Okhotin, A., Salomaa, K., Yu, S. (eds) Implementation and Application of Automata. CIAA 2004. Lecture Notes in Computer Science, vol 3317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30500-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-30500-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24318-2
Online ISBN: 978-3-540-30500-2
eBook Packages: Computer ScienceComputer Science (R0)