论文信息 - A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers

A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers

The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms inspired by membranes interactions, namely, P systems and Brane Calculi. We compare the two formalisms with respect to their ability to act as generator devices. In particular, we show different ways of generating the set in P systems and in Brane Calculi.

Nadia Busi | Miguel A. Gutiérrez-Naranjo

[1] Luca Cardelli,et al. BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[2] Gheorghe Paun,et al. Recent Computability Models Inspired from Biology: DNA and Membrane Computing , 2003 .

[3] Gheorghe Paun,et al. Membrane Computing , 2002, Natural Computing Series.

[4] W. Pitts,et al. A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[5] Gheorghe Paun,et al. Computing with Membranes , 2000, J. Comput. Syst. Sci..

[6] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.

[7] Roberto Gorrieri,et al. On the Computational Power of Brane Calculi , 2006, Trans. Comp. Sys. Biology.

[8] Rudolf Freund,et al. Two Universality Results for (Mem)Brane Systems , 2006 .

[9] Luca Cardelli,et al. Brane Calculi , 2004, CMSB.

[10] L M Adleman,et al. Molecular computation of solutions to combinatorial problems. , 1994, Science.

[11] John H. Holland,et al. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[12] Luca Cardelli,et al. An universality result for a (mem)brane calculus based on mate/drip operations , 2006, Int. J. Found. Comput. Sci..