Computing with cells: membrane systems-some complexity issues

作者: Oscar H. Ibarra , Andrei Păun

DOI: 10.1080/17445760701640266

关键词:

摘要: Membrane computing is a branch of natural which abstracts models from the structure and functioning living cell. The main ingredients membrane systems, called P are (i) structure, consists hierarchical arrangements membranes delimit compartments where (ii) multisets symbols, objects, evolve according to (iii) sets rules localised associated with compartments. By using in nondeterministic/deterministic maximally parallel manner, transitions between system configurations can be obtained. A sequence computation how evolving. Various ways controlling transfer objects one another applying rules, as well possibilities dissolve, divide or create have been studied. systems great potential for implementing massively concurrent an efficient way that would allow us solve currently intractable problems once future biotechnology gives practical bio-realization. In this paper we survey some interesting fundamental complexity issues such universality vs. nonuniversality, determinism nondeterminism, alphabet size hierarchies, characterizations context-sensitive languages other language classes various notions parallelism.

参考文章(39)
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri, Solving NP-Complete Problems Using P Systems with Active Membranes Unconventional Models of Computation, UMC’2K. pp. 289- 301 ,(2001) , 10.1007/978-1-4471-0313-4_21
Rudolf Freund, Lila Kari, Marion Oswald, Petr Sosík, Computationally universal P systems without priorities: two catalysts are sufficient descriptional complexity of formal systems. ,vol. 330, pp. 251- 266 ,(2005) , 10.1016/J.TCS.2004.06.029
OSCAR H. IBARRA, HSU-CHUN YEN, ZHE DANG, ON VARIOUS NOTIONS OF PARALLELISM IN P SYSTEMS International Journal of Foundations of Computer Science. ,vol. 16, pp. 683- 705 ,(2005) , 10.1142/S0129054105003236
Gheorghe Păun, Computing with Membranes Journal of Computer and System Sciences. ,vol. 61, pp. 108- 143 ,(2000) , 10.1006/JCSS.1999.1693
Gheorge Paun, Miguel Ángel Gutiérrez Naranjo, Mario de Jesús Pérez Jiménez, Cellular Computing (Complexity Aspects) ,(2005)
Andrei Paun, Bianca Popa, P systems with proteins on membranes and membrane division Lecture Notes in Computer Science. pp. 292- 303 ,(2006)
Luca Cardelli, Brane calculi computational methods in systems biology. pp. 257- 278 ,(2004) , 10.1007/978-3-540-25974-9_24
Artiom Alhazov, Yurii Rogozhin, Rudolf Freund, Computational power of symport/antiport : History, advances, and open problems Lecture Notes in Computer Science. pp. 1- 30 ,(2006)
Gheorghe Paun, Computing with Membranes: An Introduction. Bulletin of The European Association for Theoretical Computer Science. ,vol. 67, pp. 139- 152 ,(1999)