COMPUTING BY COMMUNICATION IN NETWORKS OF MEMBRANES

作者: ANDREI PĂUN , GHEORGHE PĂUN , GRZEGORZ ROZENBERG

DOI: 10.1142/S012905410200145X

关键词:

摘要: In this paper we consider networks of membranes which compute by communication only, using symport/antiport rules. Such rules are used both for with the environment and direct among membranes. It turns out that, rather surprisingly, a small number computationally universal. This is proved case three where each membrane communicates other membrane, four consisting two pairs such that only within pair communicate directly. A single communicating can Parikh images matrix languages. Several open problems also formulated.

参考文章(3)
Gheorghe Păun, Carlos Martín-Vide, Andrei Păun, Grzegorz Rozenberg, Membrane systems with coupled transport: universality and normal forms Fundamenta Informaticae. ,vol. 49, pp. 1- 15 ,(2002)
Roderick Bloem, Joost Engelfriet, A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars Journal of Computer and System Sciences. ,vol. 61, pp. 1- 50 ,(2000) , 10.1006/JCSS.1999.1684
Carlos Martı́n-Vide, Gheorghe Păun, Grzegorz Rozenberg, Membrane systems with carriers Theoretical Computer Science. ,vol. 270, pp. 779- 796 ,(2002) , 10.1016/S0304-3975(01)00117-7