Computing with membranes (P systems): Universality results

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2055 LNCS, Issue , 2001, Pages 82-101

  Martín Vide, Carlos ^a   Paun, Gheorghe ^b  

^a UNIVERSITAT ROVIRA I VIRGILI   (Spain)

^b ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; BIOINFORMATICS;

MEMBRANE COMPUTING; MULTI-SETS; NATURAL NUMBER; P SYSTEMS; RECURSIVELY ENUMERABLE LANGUAGES; RECURSIVELY ENUMERABLE SETS;

MICROCONTROLLERS;

EID: 84898910972     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45132-3_5     Document Type: Conference Paper

References (43)

1. P. Bottoni, C. Martin-Vide, Gh. Pǎun, G. Rozenberg, Membrane systems with promoters/inhibitors, submitted, 2000.
2. P. Bottoni, A. Labella, C. Martin-Vide, Gh. Pǎun, Rewriting P systems with conditional communication, submitted, 2000.
3. D. Bray, Protein molecules as computational elements in living cells, Nature, 3 76(1995), 307-312
4. C. Calude, Gh. Pǎun, Computing with Cells and Atoms, Taylor and Francis, London, 2000.
5. J. Castellanos, A. Rodriguez-Paton, Gh. Pǎun, Computing with membranes: P systems with worm-objects, IEEE 7th. Intern. Conf. on String Processing and Information Retrieval, SPIRE 2000, La Coruna, Spain, 64-74.
6. J. Dassow, Gh. Pǎun, Regulated Rewriting in Formal Language Theory, Springer-Verlag, Berlin, 1989.
7. Cl. Ferretti, G. Mauri, Gh. Pǎun, Cl. Zandron, Further remarks on P systems with string-objects, submitted, 2000.
8. R. Freund, Generalized P systems, Fundamentals of Computation Theory, FCT'99, Iaşi, 1999 (G. Ciobanu, Gh. Pǎun, eds.), LNCS 1684, Springer, 1999, 281-292.
9. R. Freund, Generalized P systems with splicing and cutting/recombination, Workshop on Formal Languages, FCT'99, Iaşi, 1999, Grammars, 2, 3(1999), 189-199.
10. R. Freund, Sequential P systems, Pre-proc. Workshop on Multiset Processing, Curtea de Argeş, Romania, 2000
11. and Theorietag 2000; Workshop on New Computing Paradigms (R. Freund, ed.), TU University Vienna, 2000, 177-183.
12. R. Freund, F. Freund, Molecular computing with generalized homogeneous P systems, Proc. Conf. DNA6 (A. Condon, G. Rozenberg, eds.), Leiden, 2000, 113-125.
13. R. Freund, C. Martin-Vide, Gh. Pǎun, Computing with membranes: Three more collapsing hierarchies, submitted, 2000.
14. R. Freund, Gh. Pǎun, On the number of non-terminals in graph-controlled, programmed, and matrix grammars, submitted, 2000.
15. T. Head, Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors, Bulletin of Mathematical Biology, 49(1987), 737-759.
16. M. Ito, C. Martin-Vide, Gh. Pǎun, A characterization of Parikh sets of ET0L languages in terms of P systems, submitted, 2000.
17. S. N. Krishna, R. Rama, A variant of P systems with active membranes: Solving NP-complete problems, Romanian J. of Information Science and Technology, 2, 4(1999), 357-367.
18. S. N. Krishna, R. Rama, On the power of P systems with sequential and parallel rewriting, Intern. J. Computer Math., 77, 1-2(2000), 1-14.
19. S. N. Krishna, R. Rama, P systems with replicated rewriting, J. Automata, Languages, Combinatorics, to appear.
20. W. R. Loewenstein, The Touchstone of Life. Molecular Information, Cell Communication, and the Foundations of Life, Oxford Univ. Press, New York, 1999.
21. V. Manca, C. Martin-Vide, Gh. Pǎun, On the power of P systems with replicated rewriting, J. Automata, Languages, Combinatorics, to appear.
22. C. Martin-Vide, V. Mitrana, P systems with valuations, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 154-166.
23. C. Martin-Vide, Gh. Pǎun, String objects in P systems, Proc. of Algebraic Systems, Formal Languages and Computations Workshop, Kyoto, 2000, RIMS Kokyuroku, Kyoto Univ., 2000, 161-169.
24. C. Martin-Vide, Gh. Pǎun, Computing with membranes. One more collapsing hierarchy, Bulletin of the EATCS, 72(2000), 183-187.
25. C. Martin-Vide, Gh. Pǎun, G. Rozenberg, Membrane systems with carriers, Theoretical Compuer Sci., to appear.
26. A. Pǎun, On P systems with membrane division, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 187-201.
27. A. Pǎun, M. Pǎun, On the membrane computing based on splicing, in vol. Words, Languages, Grammars (C. Martin-Vide, V. Mitrana, eds.), Kluwer, Dordrecht, 2000, 409-422.
28. Gh. Pǎun, Six nonterminals are enough for generating each r.e. language by a matrix grammar, Intern. J. Computer Math., 15(1984), 23-37.
29. Gh. Pǎun, Computing with membranes, Journal of Computer and System Sciences, 61, 1(2000), 108-143
30. (see also Turku Center for Computer Science-TUCS Report No 208, 1998, www.tucs.fi).
31. Gh. Pǎun, Computing with membranes - A variant: P systems with polarized membranes, Intern. J. of Foundations of Computer Science, 11, 1(2000), 167-182.
32. Gh. Pǎun, P systems with active membranes: Attacking NP-complete problems, J. Automata, Languages and Combinatorics, 6, 1 (2001).
33. Gh. Pǎun, Computing with membranes; Attacking NP-complete problems, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 94-115.
34. Gh. Pǎun, G. Rozenberg, A. Salomaa, DNA Computing. New Computing Paradigms, Springer-Verlag, Berlin, 1998.
35. Gh. Pǎun, G. Rozenberg, A. Salomaa, Membrane computing with external output, Fundamenta Informaticae, 41, 3(2000), 259-266
36. Gh. Pǎun, Y. Suzuki, H. Tanaka, P Systems with energy accounting, Intern. J. Computer Math., to appear.
37. Gh. Pǎun, T. Yokomori, Membrane computing based on splicing, Preliminary Proc. of Fifth Intern. Meeting on DNA Based Computers (E. Winfree, D. Gifford, eds.), MIT, June 1999, 213-227.
38. Gh. Pǎun, S. Yu, On synchronization in P systems, Fundamenta Informaticae, 38, 4(1999), 397-410.
39. G. Rozenberg, A. Salomaa, eds., Handbook of Formal Languages, Springer-Verlag, Heidelberg, 1997.
40. M. Sipper, Studying Artificial Life using a simple, general cellular model, Artificial Life Journal, 2, 1(1995), 1-35.
41. Cl. Zandron, G. Mauri, Cl. Ferretti, Universality and normal forms on membrane systems, Proc. Intern. Workshop Grammar Systems 2000 (R. Freund, A. Kelemenova, eds.), Bad Ischl, Austria, July 2000, 61-74.
42. Cl. Zandron, Cl. Ferretti, G. Mauri, Solving NP-complete problems using P systems with active membranes, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 289-301.
43. Cl. Zandron, Cl. Ferretti, G. Mauri, Using membrane features in P systems, Pre-proc. Workshop on Multiset Processing, Curtea de Argeş, Romania, TR 140, CDMTCS, Univ. Auckland, 2000, 296-320.