The power of catalysts and priorities in membrane systems

Grammars

Volumn 6, Issue 1, 2003, Pages 13-24

  Sosík, Petr ^a  

^a SILESIAN UNIVERSITY IN OPAVA   (Czech Republic)

Author keywords

Membrane computing; P system; Universal computation

Indexed keywords

COMPUTATIONAL METHODS; MATHEMATICAL MODELS; THEOREM PROVING;

BIO-MATHEMATICS;

CELL MEMBRANES;

EID: 0037592666     PISSN: 13867393     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1024057002599     Document Type: Article

References (13)

1. Calude, C.S. and Gh. Pǎun. Computing with Cells and Atoms, Taylor & Francis, London, 2001.
2. Dassow, J. and Gh. Pǎun. Regulated Rewriting in Formal Language Theory, Springer, Berlin, 1989.
3. Dassow, J. and Gh. Pǎun. On the power of membrane computing, Journal of Universal Computer Science 5(2): 33-49, 1999. (http://www.iicm.edu/jucs)
4. Freund, R. and M. Oswald. GP systems with forbidding context, Fundamenta Informaticae 49(1-3): 81-102, 2002.
5. Head, T. Aqueous simulations of membrane computations, Romanian Journal of Information Science and Technology 5(4), 2002, to appear.
6. Minsky, M.L. Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs, NJ, 1967.
7. Pǎun, Gh. Computing with membranes: an introduction, Bulletin EATCS 67: 139-152, 1999.
8. Pǎun, Gh. Computing with membranes, Journal of Computer and System Sciences 61(1): 108-143, 2000 and TUCS Research Report 208, 1998 (http://www.tucs.fi).
9. Pǎun, Gh. Computing with membranes, Journal of Computer and System Sciences 61(1): 108-143, 2000 and TUCS Research Report 208, 1998 (http://www.tucs.fi).
10. Pǎun Gh. Membrane Computing: An Introduction, Springer, Berlin, 2002.
11. Pǎun, Gh. and S. Yu, On synchronization in P systems, Fundamenta Informaticae 38(4): 397-410, 1999.
12. Salomaa, A. and G. Rozenberg (eds.). Handbook of Formal Languages, Springer, Berlin, 1997.
13. Sosík, P. and R. Freund, P systems without priorities are computationally universal. In Pǎun, Gh. et. al., Membrane Computing 2002, Lecture Notes in Computer Science, Springer, Berlin, 2002, to appear.