P Systems with Proteins on Membranes

• Autorzy: Paun A. , Popa B.
• Języki publikacji: EN

Abstrakty

EN

This work is a continuation of the investigations aiming to bridge membrane computing (where in a compartmental cell-like structure the chemicals to evolve are placed in the compartments defined by the membranes) and brane calculi (where one considers again a compartmental cell-like structure with the chemicals/proteins placed on the membranes themselves). In the current paper we use objects both in compartments and on membranes (the latter are called proteins), with the objects from membranes evolving under the control of the proteins. Several possibilities are considered (objects only moved across membranes or also changed during this operation, with the proteins only assisting the move/change or also changing themselves). Somewhat expected, computational universality is obtained for several combinations of such possibilities.

Słowa kluczowe

EN

membrane computing; brane calculus; turing computability; universality

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 72, nr 4
• Strony: 467--483
• Opis fizyczny: tab., bibliogr. 19 poz.

Twórcy

autor

Paun A.

autor

Popa B.

• Department of Computer Science Louisiana Tech University, Ruston, PO Box 10348, Louisiana, LA-71272 USA,

Bibliografia

• [1] B. Alberts, A. Johnson, J. Lewis, M. Raff, K. Roberts, P. Walter: Molecular Biology of the Cell, 4th ed. Garland Science, New York, 2002.
• [2] A. Alhazov, R. Freund, Y. Rogozhin: Computational power of symport/antiport: history, advances and open problems. In Pre-Proceedings of Sixth Workshop on Membrane Computing, WMC6, Vienna, July 2005, 44-78.
• [3] A. Alhazov, M. Margenstern, V. Rogozhin, Y. Rogozhin, S. Verlan: Communicative P systems with minimal cooperation. In Membrane Computing. 5th International Workshop, WMC2004, Milan, Italy, June 2004. Revised Selected and Invited Papers (G. Mauri, Gh. Pǎun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.), LNCS 3365, Springer-Verlag, Berlin, 2005, 161-177.
• [4] N. Busi: On the computational power of the mate/bud/drip brane calculus: interleaving vs, maximal parallelism. In Pre-Proceedings of SixthWorkshop on Membrane Computing,WMC6, Vienna, July 2005, 235-252.
• [5] L. Cardelli: Brane calculi - interactions of biological membranes. In Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers. Lecture Notes in Computer Science, 3082, Springer-Verlag, Berlin, 2005, 257-280.
• [6] L. Cardelli, Gh. P˘aun: An universality result for a (mem)brane calculus based on mate/drip operations. In Cellular Computing. Complexity Aspects (M.A. Gutierrez-Naranjo, Gh. P˘aun, M.J. Perez-Jimenez, eds.), Fenix Editora, Sevilla, 2005, 75-94.
• [7] M. Cavaliere, A. Riscos-N´u˜nez, R. Brijder, G. Rozenberg: Membrane systems with marked membranes. Manuscript, 2005.
• [8] G. Ciobanu, L. Pan, Gh. Pâun, M.J. Pérez-Jiménez: P systems with minimal parallelism. Submitted, 2005.
• [9] Z. Dang, O.H. Ibarra: On P systems operating in sequential and limited parallel modes. In Pre-Proceedingsof the Workshop on Descriptional Complexity of Formal Systems, DCFS 2004, London, Ontario, 164-177.
• [10] R. Freund: Asynchronous P systems and P systems working in the sequential mode. Membrane Computing. International Workshop WMC5, Milano, Italy, 2004, LNCS 3365, Springer-Verlag, Berlin, 2005, 36-62.
• [11] O.H. Ibarra, A. P˘aun: Counting time in computing with cells. In Proceedings of DNA Based Computing, DNA11, London, Ontario, 2005, 25-36.
• [12] M. Ionescu, C. Martin-Vide, A. P˘aun, Gh. Pâun: Membrane Systems with Symport/Antiport: (Unexpected) Universality Results. In Proceedings of 8th International Meeting on DNA Based Computers, DNA8, (M. Hagiya, A. Obuchi, eds.), Hokkaido University, Sapporo, Japan, 2002, 151-160.
• [13] M.L. Minsky: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, New Jersey, 1967.
• [14] A. Pâun, Gh. Pâun: The power of communication: P systems with symport/antiport. New Generation Computing, 20, 3 (2002), 295-306.
• [15] Gh. Pâun: Computing with membranes. J. Computer and System Sciences, 61, 1 (2000), 108-143. A. Pǎun and B. Popa / P Systems with Proteins on Membranes 483
• [16] Gh. Pâun: Membrane Computing - An Introduction. Springer-Verlag, Berlin, 2002.
• [17] Gh. Pâun: One more universality result for P systems with objects on membranes. In Proceedings of Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 263-274.
• [18] G. Rozenberg, A. Salomaa, eds.: Handbook of Formal Languages. Springer-Verlag, Berlin, 1987.
• [19] The P Systems Website: http://psystems.disco.unimib.it