Computing with Membranes

Journal of Computer and System Sciences - Tập 61 Số 1 - Trang 108-143 - 2000
Gheorghe Păun1
1Institute of Mathematics of the Romanian Academy, P.O. Box 1-764, 70700, Bucharest, Romaniaf1E-mail: [email protected]#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo

Adleman, 1996, On constructing a molecular computer, 1

Amos, 1997

Banâtre, 1988, A parallel machine for multiset transformations and its programming style, Future Gener. Comput. Systems, 4, 133, 10.1016/0167-739X(88)90012-X

Berry, 1992, The chemical abstract machine, Theoret. Comput. Sci., 96, 217, 10.1016/0304-3975(92)90185-I

Cardelli, 1999, Abstractions for mobile computation, 1603

Cardelli, 1998, Mobile ambients, 1378, 140

Csuhaj-Varju, 1994

Csuhaj-Varju, 1996, Grammar systems with WAVE-like communication, Comput. Artificial Intelligence, 15, 419

Csuhaj-Varju, 1997, Networks of parallel language processors, 1218, 299

Csuhaj-Varju, 1999, On the computational completeness of context-free PC grammar systems, Theoret. Comput. Sci., 215, 348, 10.1016/S0304-3975(98)00193-5

Dassow, 1989

Dassow, 1999, On the power of membrane computing, J. Universal Comput. Sci., 5, 33

Freund, 1999, Generalized P systems, 1684

Hauschildt, 1994, Petri nets algorithm in the theory of matrix grammars, Acta Inform., 31, 719, 10.1007/BF01178731

Head, 1987, Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors, Bull. Math. Biology, 49, 737, 10.1007/BF02481771

Ilie, 1998, 2-testability and relabeling procedure everything, J. Comput. System Sci., 56, 253, 10.1006/jcss.1997.1548

Lipton, 1996, Speeding up computations via molecular biology, 67

M. Maliţa, Membrane computing in Prolog, manuscript, 1999.

Manca, 1998, String rewriting and metabolism: A logical perspective, 36

Gh. Păun, Computing with membranes. A variant, submitted, 1999. [Auckland University, CDMTCS Report 098, 1999 (, www.cs.auckland.ac.nz/CDMTCS, )]

Ch. Păun, P systems with active membranes: Attacking NP complete problems, J. Automat. Languages Combin, to appear. [Auckland University, CDMTCS Report 102, 1999 (, www.cs. auckland.ac.nz/CDMTCS, )]

Păun, 1998

Gh. Păun, G. Rozenberg, and, A. Salomaa, Membrane computing with external output, submitted, 1999. [Turku Center for Computer Science, TUCS Report 218, 1988 (, www.tucs.fi, )]

Gh. Păun, Y. Sakakibara, and, T. Yokomori, P systems on graphs of restricted forms, submitted, 1999.

Păun, 1998

Păun, 1989, Parallel communicating grammar systems; the regular case, Ann. Univ. Buc., Matem.-Inform. Series, 38, 55

Gh. Păun, and, G. Thierrin, Multiset processing by means of systems of finite state transducers, in, Workshop on Implementing Automata WIA99, Potsdam, August 1999. [Auckland University, CDMTCS Report 101, 1999 (, www.cs.auckland.ac.nz/CDMTCS, )]

Gh. Păun, and, T. Yokomori, Membrane computing based on splicing, in, Fifth Inter. Worshop on DNA Based Computers, DNA5, MIT, 1999.

Păun, 1999, Simulating H systems by P systems, J. Universal Comput. Sci., 5

Păun, 1999, On synchronization in P systems, Fund. Inform., 37

Petre, 1999, A normal form for P systems, Bull. EATCS, 67, 165

I. Petre, and, L. Petre, Mobile ambients and P systems, in, Workshop on Formal Languages, FCT'99, Iaşi, Romania, 1999.

Rozenberg, 1980

Rozenberg, 1997

Y. Suzuki, and, H. Tanak, On a LISP implementation of a class of P systems, submitted, 1999.