On generalized communicating P systems with minimal interaction rules

被引:8
|
作者
Csuhaj-Varju, Erzsebet [2 ,3 ]
Verlan, Sergey [1 ]
机构
[1] Univ Paris Est, Dept Informat, Lab Algorithm Complex & Log, F-94010 Creteil, France
[2] Hungarian Acad Sci, Comp & Automat Res Inst, H-1111 Budapest, Hungary
[3] Eotvos Lorand Univ, Fac Informat, Dept Algorithms & Their Applicat, H-1117 Budapest, Hungary
关键词
P systems; Symport; Antiport; Minimal interactions; Formal languages; Computational completeness; SYMPORT/ANTIPORT; POWER;
D O I
10.1016/j.tcs.2010.08.020
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Generalized communicating P systems are purely communicating tissue-like membrane systems with communication rules which allow the movement of only pairs of objects. In this paper, we study the power of these systems in the case of eight restricted variants of communication rules. We show that seven of these restrictions lead to computational completeness, while using the remaining one the systems are able to compute only finite singletons of non-negative integers. The obtained results complete the investigations of the computational power of generalized communicating P systems and provide further examples for simple architectures with simple functioning rules which are as powerful as Turing machines. (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码:124 / 135
页数:12
相关论文
共 50 条
  • [31] Labelled graph rules in P systems
    Williams Sureshkumar
    Kalpana Mahalingam
    Raghavan Rama
    Iran Journal of Computer Science, 2018, 1 (3) : 133 - 145
  • [32] Tissue P Systems with Cooperating Rules
    LIU Xiyu
    ZHAO Yuzhen
    SUN Wenxing
    Chinese Journal of Electronics, 2018, 27 (02) : 324 - 333
  • [33] P systems with symport/antiport of rules
    Cavaliere, M
    Genova, D
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (05) : 540 - 558
  • [34] Generalized Gaussian quadrature rules for systems of arbitrary functions
    Ma, J
    Rokhlin, V
    Wandzura, S
    SIAM JOURNAL ON NUMERICAL ANALYSIS, 1996, 33 (03) : 971 - 996
  • [35] GENERALIZED EQUAL AREAS RULES FOR SPATIALLY EXTENDED SYSTEMS
    SCHOLL, E
    LANDSBERG, PT
    ZEITSCHRIFT FUR PHYSIK B-CONDENSED MATTER, 1988, 72 (04): : 515 - 521
  • [36] Generalized P-systems
    Freund, R
    FUNDAMENTALS OF COMPUTATION THEORY, 1999, 1684 : 281 - 292
  • [37] Transforming communicating X-machines into P systems
    Kefalas P.
    Stamatopoulou I.
    Sakellariou I.
    Eleftherakis G.
    Natural Computing, 2009, 8 (4) : 817 - 832
  • [38] Communicative P systems with minimal cooperation
    Alhazov, A
    Margenstern, M
    Rogozhin, V
    Rogozhin, Y
    Verlan, S
    MEMBRANE COMPUTING, 2004, 3365 : 161 - 177
  • [39] P systems with minimal insertion and deletion
    Alhazov, Artiom
    Krassovitskiy, Alexander
    Rogozhin, Yurii
    Verlan, Sergey
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (1-2) : 136 - 144
  • [40] Minimal parallelism for polarizationless P systems
    Ishdorj, Tseren-Onolt
    DNA COMPUTING, 2006, 4287 : 17 - 32