Universality results for P systems based on brane calculi operations

Theoretical Computer Science

Volumn 371, Issue 1-2, 2007, Pages 83-105

  Krishna, Shankara Narayanan ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

Author keywords

Brane calculi; Matrix grammars; Membrane computing; Universality

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; DIFFERENTIATION (CALCULUS); TURING MACHINES;

BRANE CALCULI; MATRIX GRAMMARS; MEMBRANE COMPUTING; UNIVERSALITY;

INFORMATION RETRIEVAL SYSTEMS;

EID: 33846837229     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.10.016     Document Type: Article

References (15)

1. N. Busi, R. Gorrieri, On the computational power of brane calculi, in: Third Workshop on Computational Methods in Systems Biology, Edinburgh, 2005
2. N. Busi, On the computational power of mate, bud, drip brane calculus: Interleaving vs. maximal parallelism, in: Pre-Proceedings of WMC6, Vienna, 2005, pp. 235-252
3. L. Cardelli, Brane calculi, interactions of biological membranes, in: Proceedings of Computational Methods in Systems Biology, 2004
4. L. Cardelli, Gh. Paun, An universality result based on mate/drip operations, International Journal of Foundations of Computer Science (in press)
5. Dassow J., and Paun Gh. Regulated Rewriting in Formal Language Theory (1989), Springer
6. Dassow J., Paun Gh., and Salomaa A. Grammars with Controlled Derivations. Handbook of Formal Languages vol. 2 (1997), Springer (Chapter 3)
7. Freund R., and Pǎun Gh. On the number of non-terminals in graph-controlled, programmed, and matrix grammars. Conf. on Universal Machines and Computations. LNCS vol. 2055 (2001), Springer-Verlag, Chişinǎu 214-225
8. Harrison M. Introduction to Formal Language Theory (1978), Addison-Wesley, Reading, MA
9. Krishna S.N. The power of mobility: Four membranes suffice. Proceedings of CiE 2005. LNCS vol. 3526 (2005) 242-251
10. S.N. Krishna, Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes, 2006 (submitted for publication)
11. Krishna S.N., and Paun Gh. P systems with mobile membranes. Natural Computing 4 3 (2005) 255-274
12. Paun Gh. Computing with membranes. Journal of Computer and System Sciences 61 1 (2000) 108-143
13. Paun Gh. Membrane Computing. An Introduction (2002), Springer
14. Salomaa A. Formal Languages (1973), Academic Press
15. The membrane computing web page. http://psystems.disco.unimib.it