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 条
  • [1] Generalized communicating P systems
    Verlan, Sergey
    Bernardini, Francesco
    Gheorghe, Marian
    Margenstern, Maurice
    THEORETICAL COMPUTER SCIENCE, 2008, 404 (1-2) : 170 - 184
  • [2] On Generalized Communicating P Systems with One Symbol
    Csuhaj-Varju, Erzsebet
    Vaszil, Gyoergy
    Verlan, Sergey
    MEMBRANE COMPUTING, 2010, 6501 : 160 - +
  • [3] Dynamically Changing Environment for Generalized Communicating P Systems
    Balasko, Akos
    Csuhaj-Varju, Erzsebet
    Vaszil, Gyorgy
    MEMBRANE COMPUTING (CMC 2015), 2015, 9504 : 92 - 105
  • [4] ON A WORKFLOW MODEL BASED ON GENERALIZED COMMUNICATING P SYSTEMS
    Balasko, Akos
    COMPUTER SCIENCE-AGH, 2016, 17 (01): : 45 - 68
  • [5] On the universality of P systems with minimal symport/antiport rules
    Kari, L
    Martín-Vide, C
    Paun, A
    ASPECTS OF MOLECULAR COMPUTING: ESSAYS DEDICATED TO TOM HEAD ON THE OCCASION OF HIS 70TH BIRTHDAY, 2004, 2950 : 254 - 265
  • [6] Generalized Communicating P Systems Working in Fair Sequential Mode
    Spicher, Antoine
    Verlan, Sergey
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2011, 21 (02) : 227 - 247
  • [7] Spiking Neural P Systems with a Generalized Use of Rules
    Zhang, Xingyi
    Wang, Bangju
    Pan, Linqiang
    NEURAL COMPUTATION, 2014, 26 (12) : 2925 - 2943
  • [8] Cell-like P systems with polarizations and minimal rules
    Pan, Linqiang
    Orellana-Martin, David
    Song, Bosheng
    Perez-Jimenez, Mario J.
    THEORETICAL COMPUTER SCIENCE, 2020, 816 : 1 - 18
  • [9] Generalized information systems and decision rules
    College of Science, Northeastern University, Shenyang 110004, China
    不详
    不详
    Kongzhi yu Juece Control Decis, 2006, 12 (1421-1424):
  • [10] Communicating in a Ubicomp World: Interaction Rules for Guiding Design of Mobile Interfaces
    Sundar, S. Shyam
    Dou, Xue
    Lee, Sangmee
    HUMAN-COMPUTER INTERACTION - INTERACT 2013, PT II, 2013, 8118 : 730 - 747