Abstract
In this paper a variant of transition P systems with external output designed to compute partial functions on natural numbers is presented. These P systems are stable under composition, iteration and unbounded minimization (μ–recursion) of functions. We prove that every partial recursive function can be computed by such P systems, from which the computational completeness of this model can be deduced.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cohen, D.E.: Computability and Logic. Ellis Horwood (1987)
Păun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Păun, G., Rozenberg, G., Salomaa, A.: Membrane Computing with External Output. Fundamenta Informaticae 41(3), 259–266 (2000)
Pérez-Jiménez, M.J., Sancho-Caparrini, F.: A Formalization of Transition P Systems. Fundamenta Informaticae 49(1–3), 261–272 (2002)
Romero-Jiménez, A.: Complejidad y Universalidad en Modelos de Computación Celular. PhD thesis, Universidad de Sevilla (2003)
Romero-Jiménez, A., Pérez-Jiménez, M.J.: Generation of Diophantine Sets by Computing P Systems with External Output. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol. 2509, pp. 176–190. Springer, Heidelberg (2002)
Sancho-Caparrini, F.: Verificación de Programas en Modelos de Computación no Convencionales. PhD thesis, Universidad de Sevilla (2002)
The, P Systems Web Page, http://psystems.disco.unimib.it/
Web Page of the Research Group on Natural Computing of University of Sevilla, http://www.cs.us.es/gcn/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Romero-Jiménez, A., Pérez-Jiménez, M.J. (2004). Computing Partial Recursive Functions by Transition P Systems. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2003. Lecture Notes in Computer Science, vol 2933. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24619-0_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-24619-0_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20895-2
Online ISBN: 978-3-540-24619-0
eBook Packages: Springer Book Archive