Tissue P Systems with Vesicles of Multisets

被引:3
作者
Alhazov, Artiom [1 ]
Freund, Rudolf [2 ]
Ivanov, Sergiu [3 ]
Verlan, Sergey [4 ]
机构
[1] Vladimir Andrunachievici Inst, Math & Comp Sci, Acad 5, MD-2028 Kishinev, Moldova
[2] TU Wien, Fac Informat, Favoritenstr 9-11, A-1040 Vienna, Austria
[3] Univ Evry, Univ Paris Saclay, IBISC, F-91020 Evry, France
[4] Univ Paris Est Creteil, LACL, F-94010 Creteil, France
关键词
Computational completeness; derivation modes; multisets; P systems; polarizations; vesicles; NETWORKS;
D O I
10.1142/S0129054122410015
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider tissue P systems working on vesicles of multisets with the very simple operations of insertion, deletion, and substitution of single objects. With the whole multiset being enclosed in a vesicle, sending it to a target cell can be indicated in those simple rules working on the multiset. As derivation modes we consider the sequential derivation mode, where, if possible, one rule is applied in a derivation step, and the set maximally parallel derivation mode, where in each derivation step a non-extendable set of rules indicating the same target cell is applied. With the set maximally parallel derivation mode, computational completeness can already be obtained with tissue P systems having a tree structure, whereas tissue P systems even with an arbitrary communication structure are not computationally complete when working in the sequential mode. Adding polarizations - only the three polarizations -1, 0, 1 are sufficient - allows for obtaining computational completeness even for tissue P systems working in the sequential mode.
引用
收藏
页码:179 / 202
页数:24
相关论文
共 21 条
[1]   P Systems Working in Maximal Variants of the Set Derivation Mode [J].
Alhazov, Artiom ;
Freund, Rudolf ;
Verlan, Sergey .
MEMBRANE COMPUTING (CMC 2016), 2017, 10105 :83-102
[2]   Computational completeness of complete, star-like, and linear hybrid networks of evolutionary processors with a small number of processors [J].
Alhazov, Artiom ;
Freund, Rudolf ;
Rogozhin, Vladimir ;
Rogozhin, Yurii .
NATURAL COMPUTING, 2016, 15 (01) :51-68
[3]  
[Anonymous], 1989, Regulated Rewriting in Formal Language Theory
[4]  
[Anonymous], P SYSTEMS WEBSITE
[5]  
[Anonymous], 1967, Prentice-Hall Series in Automatic Computation
[6]  
[Anonymous], B INT MEMBRANE COMPU
[7]   On the computational power of networks of polarized evolutionary processors [J].
Arroyo, Fernando ;
Canaval, Sandra Gomez ;
Mitrana, Victor ;
Popescu, Stefan .
INFORMATION AND COMPUTATION, 2017, 253 :371-380
[8]  
Arroyo F, 2014, LECT NOTES COMPUT SC, V8370, P101, DOI 10.1007/978-3-319-04921-2_8
[9]   Networks of evolutionary processors [J].
Castellanos, J ;
Martín-Vide, C ;
Mitrana, V ;
Sempere, JM .
ACTA INFORMATICA, 2003, 39 (6-7) :517-529
[10]  
Freund R., 2005, P 3 BRAINST WEEK MEM, P155