卡洛斯·马丁·维德;佩恩，古奥热;胡安·帕佐斯;Rodríguez Patón，阿方索 组织P系统。 （英语） Zbl 1045.68063号 西奥。计算。科学。 296，第2期，295-326（2003）. 小结：从细胞间通过蛋白质通道进行通信的方式（以及有关神经元功能的标准知识）出发，我们提出了一个称为组织（P）系统的计算模型，该系统在细胞网络中以多集合重写的方式处理符号。每个细胞都有一个有限的状态存储器，处理多组符号脉冲，并能向相邻细胞发送脉冲（“兴奋”）。这样的细胞网络被证明是相当强大的：即使使用少量的细胞，它们也可以模拟图灵机器，每个细胞都有少量的状态。此外，当每个细胞以最大方式工作时，它可以激励所有可以发送脉冲的细胞，那么就可以很容易地在线性时间内求解哈密顿路径问题。在这个框架中，还获得了ET0L语言帕里克图像的一个新特征。除了这些基本结果之外，本文还为进一步的研究提供了一系列建议。 引用于1审查引用于124文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：自然计算;膜计算;P系统;乔姆斯基层次;林登迈耶层次;NP-完全问题 PDF格式BibTeX公司 XML格式引用 \textit{C.Martín-Vide}等人，Theor。计算。科学。296，第2号，295--326（2003；Zbl 1045.68063） 全文： 内政部 参考文献： [1] Alberts，B.，《基本细胞生物学》。《细胞分子生物学导论》（1998年），加兰德出版社。公司：Garland Publ。Inc纽约，伦敦 [2] Arbib，M.A.，《大脑、机器和数学》（1987），《施普林格：柏林施普林格》·Zbl 0174.02401号 [3] Arbib，M.A.，《隐喻大脑——图式和大脑理论导论》（1988），《威利跨科学：威利跨学科柏林》 [4] Banatre，J.P。；弗雷德，P。；LeMetayer，D.，《伽马与十五年后的化学抽象反应模型》（Calude，C.S.；Pun，Gh；Rozenberg，G.；Salomaa，A.，《多集处理》，《数学、计算机科学和分子计算观点》，《计算机科学讲义》，第2235卷（2001年），施普林格：施普林格柏林），17-44·Zbl 1052.68037号 [5] 布兰克，D.S.，康涅狄格符号处理死亡还是活着？，神经计算。调查，2，1-40（1999） [6] Calude，C。；马库斯，S。；Păun，Gh.，《作为假设大脑的普遍语法》，鲁姆牧师。凌。，24, 5, 479-489 (1979) ·Zbl 0457.68093号 [7] Calude，C。；普恩，Gh。，《细胞和原子计算》（2000年），泰勒和弗朗西斯：泰勒和弗朗西斯·伦敦 [8] （Choffrut，C.，《自动化网络》，《计算机科学讲义》，第316卷（1988），施普林格出版社：柏林施普林格）·Zbl 0639.00041号 [9] Csuhaj-Varju，E.，《语言处理器网络》（P'un，Gh.；Rozenberg，G.；Salomaa，A.，《计算机科学的当前趋势》（2001），《世界科学：世界科学。新加坡），781-800·Zbl 1049.68597号 [10] Csuhaj-Varju，E。；达索，J。；Kelemen，J。；普恩，《语法系统》。《分配与合作的语法方法》（1994年），《戈登与布雷奇：戈登与布莱奇伦敦》·Zbl 0925.68286号 [11] Csuhaj-Varju，E。；Martin-Vide，C。；Mitrana，V.，《多集自动机》（Calude，C.S.；Pun，Gh。；Rozenberg，G.；Salomaa，A.，《多集合处理》。数学、计算机科学和分子计算观点，计算机科学讲义，第2235卷（2001），《施普林格：施普林格柏林》），67-82·Zbl 1052.68071号 [12] 库利克二世，K。；Salomaa，A。；Wood，D.，收缩树受体，RAIRO，18，53-79（1984）·Zbl 0571.68043号 [13] Dassow，J。；普恩，古.，《形式语言理论中的规范重写》（1989），施普林格：施普林格柏林 [14] Esik，Z.，关于用二态自动机网络对自动机进行同构模拟的注记，离散应用数学。，30, 77-82 (1991) ·Zbl 0737.05052号 [15] R.Freund，Gh.Pun，《关于图形控制、编程和矩阵文法中非终结符的数量》，Proc。MCU Conf.，Chišinéu，2001，计算机科学讲义，第2055卷，施普林格，柏林，2001，214-225。；R.Freund，Gh.Pun，《关于图形控制、编程和矩阵文法中非终结符的数量》，Proc。MCU Conf.，Chišinéu，2001，计算机科学讲义，第2055卷，柏林斯普林格，2001，214-225·Zbl 0984.68091号 [16] Gecseg，F.，《自动化产品》（1986），施普林格出版社：柏林施普林格·Zbl 0636.68058号 [17] Hauschild博士。；Jantzen，M.，矩阵语法理论中的Petri网算法，信息学学报，31719-728（1994）·Zbl 0834.68064号 [18] S.C.Kleene，神经网络和有限自动机中事件的表示，自动机研究，普林斯顿大学出版社，新泽西州普林斯顿，1956，2-42。；S.C.Kleene，神经网络和有限自动机中事件的表示，自动机研究，普林斯顿大学出版社，新泽西州普林斯顿，1956年，第2-42页。 [19] M.Kudlek，C.Martin-Vide，Gh.Pun，《迈向FMT（形式宏观集理论）》，Pre-proc。《多组加工研讨会》，罗马尼亚Curtea de Argeš，TR 140，CDMTCS，奥克兰大学，2000年，第149-158页。；M.Kudlek，C.Martin-Vide，Gh.Pun，《迈向FMT（形式宏观集理论）》，Pre-proc。《多组加工研讨会》，罗马尼亚Curtea de Argeš，TR 140，CDMTCS，奥克兰大学，2000年，第149-158页。 [20] Loewenstein，W.R.，《生命的试金石》。《分子信息、细胞通讯和生命基础》（1999），牛津大学出版社：牛津大学出版社纽约，牛津 [21] Mateescu，A。；Mitrana，V.，通过状态通信的并行有限自动机系统，国际。J.发现。计算机科学。，13333-749（2002年）·Zbl 1066.68069号 [22] McCulloch，W.S。；皮特斯，W.H.，《神经活动内在思想的逻辑演算》，布尔。数学。生物物理学。，5, 115-133 (1943) ·Zbl 0063.03860号 [23] Minsky，M.，《计算有限和无限机器》（1967），Prentice-Hall：新泽西州Prentice-Hall Englewood Cliffs·Zbl 0195.02402号 [24] Ch.P.Papadimitriou，计算复杂性，阅读，马萨诸塞州，1994年。；Ch.P.Papadimitriou，计算复杂性，阅读，马萨诸塞州，1994年·Zbl 0833.68049号 [25] Gh.Pun，《膜计算》，《计算机系统杂志》。科学。61(1) (2000) 108-143; 另见图尔库计算机科学中心1998年第208号报告，www.TUCS.fi；Gh.Pun，《膜计算》，《计算机系统杂志》。科学。61(1) (2000) 108-143; 另见图尔库计算机科学中心1998年第208号报告，www.TUCS.fi·Zbl 0956.68055号 [26] Gh.Pun，Y.Sakakibara，T.Yokomori，《限制形式图上的P系统》，出版数学。德布勒森，出现。；Gh.Pun，Y.Sakakibara，T.Yokomori，《限制形式图上的P系统》，出版数学。德布勒森出现·Zbl 1006.68048号 [27] 罗岑贝格，G。；Salomaa，A.，《L系统的数学理论》（1980），学术出版社：纽约学术出版社·Zbl 0365.68072号 [28] （Rozenberg，G.；Salomaa，A.，《形式语言手册》，3卷（1997年），施普林格：施普林格柏林）·Zbl 0866.68057号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。