Abstract
This paper is part of a program of our research group, aiming to implement membrane computing on electronic computers. We here present Transition P systems, which is the preliminary steep of our approach. The formalisation we before have in mind the functional programming framework for developing the software modules. Part of these modules has already realised, in Haskell, and they are briefly described in the second section of the paper.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
G. Paun, Computing with Membranes, Journal of Computer and System Sciences, 61,1, (2000) 108–143.
G. Paun, P Systems with Active Membranes: Attacking NP Complete Problems, J. Automata, Languages, Combinatorics, 6,1 (2001), 75–90.
A. Baranda; Castellanos J.; Gonzalo Molina R.; Arroyo, F.; Mingo, L.F., Data Structure for Implementing Transition P System in Silico, Proceedings of the Workshop on Multiset Processing, (2000), 21–34.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baranda, A.V., Arroyo, F., Castellanos, J., Gonzalo, R. (2002). Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems. In: Jonoska, N., Seeman, N.C. (eds) DNA Computing. DNA 2001. Lecture Notes in Computer Science, vol 2340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48017-X_33
Download citation
DOI: https://doi.org/10.1007/3-540-48017-X_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43775-8
Online ISBN: 978-3-540-48017-4
eBook Packages: Springer Book Archive