On small universal antiport P systems

被引:26
作者
Csuhaj-Varju, Erzsebet
Margenstern, Maurice
Vaszil, Gyorgy
Verlan, Sergey
机构
[1] Hungarian Acad Sci, Comp & Automat Res Inst, H-1111 Budapest, Hungary
[2] Univ Paul Verlaine Metz, LITA, EA 3097, F-57045 Metz 1, France
[3] Univ Paris 12, LACL, UFR Sci & Technol, F-94010 Creteil, France
关键词
P systems; universality; size complexity;
D O I
10.1016/j.tcs.2006.11.023
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
It is known that P systems with antiport rules simulate register machines, i.e., they are computationally complete. Hence, due to the existence of universal register machines, there exist computationally complete subclasses of antiport P systems with bounded size, i.e., systems where each size parameter is limited by some constant. However, so far there has been no estimation of these numbers given in the literature. In this article, three universal antiport P systems of bounded size are demonstrated, different from each other in their size parameters. We present universal antiport P systems with 73, 43, and 30 rules where the maximum of the weight of the rules is 4, 5, and 6, respectively. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码:152 / 164
页数:13
相关论文
共 15 条
  • [1] Alhazov A, 2006, LECT NOTES COMPUT SC, V3850, P1
  • [2] ALHAZOV A, 2005, P 6 INT WORKSH MEMBR, P44
  • [3] CSUHAJVARJU E, 2006, P 4 BRAINST WEEK MEM, V1, P267
  • [4] Freund R, 2003, LECT NOTES COMPUT SC, V2597, P261
  • [5] Freund R, 2003, LECT NOTES COMPUT SC, V2597, P270
  • [6] FREUND R, 2006, P 4 BRAINST WEEK MEM, V2, P51
  • [7] Frisco P, 2003, LECT NOTES COMPUT SC, V2597, P288
  • [8] Small universal register machines
    Korec, I
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 168 (02) : 267 - 301
  • [9] Minsky M. L., 1967, COMPUTATION FINITE I
  • [10] The power of communication: P systems with symport/antiport
    Paun, A
    Paun, G
    [J]. NEW GENERATION COMPUTING, 2002, 20 (03) : 295 - 305