高石横森；富美亚大久保 反应自动机理论综述。 （英语） Zbl 1469.68058号 J.成员。计算。 3，编号1，63-85（2021）. 摘要：本文综述了反应自动机理论，对自然界中发生的生命反应的生化行为进行建模和分析。受两个反应系统概念的启发，由A.埃伦菲赫特和G.罗森伯格【Fundam.Inform.75，No.1-4，263-280（2007；Zbl 1108.68056号); 西奥。计算。科学。376，第1-2、3-16号（2007年；Zbl 1119.93011号)]在多集合中，反应自动机（RA）被提出作为接受字符串语言的计算模型。给定符号的输入序列，RA执行其计算过程如下：每次接收到输入符号时，它都会按照规定的方式将反应规则应用于多集合，从而改变当前配置（由多集合表示），其中考虑了两种应用方式：最大并行方式和（通常）顺序方式。RA的功能是作为一个扩展的有限自动机，在该自动机中，多集扮演（无限数量）状态的角色，状态转换是通过应用反应规则来执行的。我们表明，在两种规则应用方式中，RA的计算能力都是图灵通用的。还讨论了RA的空界变体与乔姆斯基层次结构之间的关系。此外，我们讨论了化学反应自动机的概念，它是RAs的简化变体，具有不受抑制剂功能影响的反应规则。我们用各种相关的计算模型以及未来的研究课题来完成这项调查。 MSC公司： 2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等） 65年第68季度 形式语言和自动机 关键词：反应自动机；化学反应自动机；多集合计算 引文：Zbl 1108.68056号；Zbl 1119.93011号 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokomori}和\textit{F.Okubo}，J.Membr。计算。3、编号1、63--85（2021；Zbl 1469.68058） 全文： 内政部 参考文献： [1] Alhazov，A。；弗伦德，R。；伊万诺夫，S。；奥斯瓦尔德，M。；Verlan，S。；Graciani，C。；Riscos-Nüñez，A。；佩恩，G。；Rozenberg，G。；Salomaa，A.，《巧克力P自动机》，《享受自然计算》（Pérez-Jiménez Festschrift），1-20（2018），柏林：施普林格出版社，柏林·Zbl 1519.68082号 [2] Alhazov，A。；弗伦德，R。；Morita，K.，《顺序和最大并行多集重写：可逆性和确定性》，自然计算，第11期，第95-106页（2012年）·Zbl 1251.68100号 [3] Alhazov，A。；Verlan，S.，最大并行多集重写系统的最小化策略，理论计算机科学，4121587-1591（2011）·Zbl 1209.68284号 [4] Angluin，D.，《可逆语言的推断》，《ACM杂志》，29，3，741-765（1982）·Zbl 0485.68066号 [5] 安格鲁因，D。；Aspnes，J。；迪亚马迪，Z。；费舍尔，M.J。；Peralta，R.，被动移动有限状态传感器网络中的计算，分布式计算，18，4，235-253（2006）·Zbl 1266.68042号 [6] Angluin，D.、Aspnes，J.和Eisenstat，D.（2006年）。稳定的可计算谓词是半线性的。摘自：第25届ACM分布式计算原理研讨会论文集，ACM出版社，纽约，第292-299页·兹伯利1314.68054 [7] Angluin，D.、Fischer，M.J.和Jiang，H.（2006）。稳定移动网络中的共识。摘自：第二届IEEE传感器系统分布式计算国际会议论文集（DCOSS’06），第37-50页。 [8] Angluin，D.、Aspnes，J.、Diamadi，Z.、Fischer，M.J.和Peralta，R.（2003年）。乌恩自动机。摘自：耶鲁大学计算机科学系技术报告YALEU/DCS/TR-1280。 [9] Bailey，NTJ，传染病数学理论（1975），伦敦：Charles Griffin and Co.，伦敦·Zbl 0334.92024号 [10] Barbuti，R。；戈里，R。；佛罗里达州列维；Milazzo，P.，《研究反应系统中的动态因果关系》，理论计算机科学，623114-145（2016）·Zbl 1336.68065号 [11] Bennett，CH，计算的逻辑可逆性，IBM研究与发展杂志，17，6，525-532（1973）·Zbl 0267.68024号 [12] Brijder，R.，《利用化学反应网络进行计算：自然计算教程》，第18期，第119-137页（2019年） [13] Burhard，H-D，《论并行的优先级：最大激发策略下的Petri网》，程序逻辑及其应用，计算机科学讲义，14886-97（1980）·Zbl 0511.68039号 [14] Calude，C。；普恩，Gh；Rozenberg，G。；Salomaa，A.，《多集处理》（2001），柏林：施普林格出版社，柏林·Zbl 0983.00053号 [15] 陈，H-L；多蒂，D。；Soloveichik博士。；斯特凡诺维奇（D.Stefanovic）。；Turberfield，A.，用化学反应网络进行确定性函数计算。计算机科学讲稿，DNA 18，第7433卷，25-42卷（2012年），海德堡：斯普林格·Zbl 1330.68070号 [16] 乔姆斯基，N。；Schützenberger，MP，无上下文语言的代数理论，计算机编程和形式系统，118-161（1963），阿姆斯特丹：爱思唯尔·Zbl 0148.00804号 [17] Csuhaj-Varju，E。；O.H.伊巴拉。；Gy Vaszil，《论P自动机的计算复杂性》，自然计算，5，109-126（2006）·Zbl 1112.68057号 [18] Csuhaj-Varju，E。；奥斯瓦尔德，M。；Vaszil，Gy，P automata，《牛津膜计算手册》，145-167（2010），牛津：OUP，牛津·兹伯利1237.68001 [19] Csuhaj-Varju，E。；Vaszil，Gy，P自动机或纯通信接受P系统：计算机科学讲义，219-233（2003），柏林：施普林格，柏林·Zbl 1023.68039号 [20] 戴利，DJ；Kendall，DG，随机谣言，IMA应用数学杂志，142-55（1965） [21] Daley，M。；埃拉米安，M。；McQuillan，I.，《袋自动机：不确定性存储的模型》，《自动机、语言与组合学杂志》，13185-206（2008）·Zbl 1191.68380号 [22] Dennunzio，A。；Formenti，E。；Manzoni，L。；Porreca，AE，反应系统动力学的复杂性，信息与计算，267，96-109（2019）·Zbl 1422.68069号 [23] 迪亚马迪，Z。；费舍尔，MJ，《分布式系统信任研究的简单游戏》，武汉大学自然科学学报，6，1-2，72-82（2001） [24] 艾伦伯格，S.，《自动化，语言和机器》（1974），纽约：学术出版社，纽约·Zbl 0317.94045号 [25] 埃伦菲赫特，A。；Rozenberg，G.，《反应系统》，《信息基础》，75，263-280（2007）·Zbl 1108.68056号 [26] 埃伦菲赫特，A。；Rozenberg，G.，《反应系统中的事件和模块》，理论计算机科学，376，3-16（2007）·Zbl 1119.93011号 [27] 埃伦菲赫特，A。；Rozenberg，G.，《反应系统中引入时间》，理论计算机科学，410，310-322（2009）·Zbl 1156.93306号 [28] 埃伦菲赫特，A。；梅因，M。；Rozenberg，G.，反应系统中生死组合数学，国际计算机科学基础杂志，21345-356（2010）·Zbl 1192.68458号 [29] 埃伦菲赫特，A。；梅因，M。；Rozenberg，G.，《反应系统定义的函数》，《国际计算机科学基础杂志》，22，167-178（2011）·Zbl 1213.68259号 [30] Elsässer，R.和Radzik，T.（2018年）。精确多数和领导人选举人口协议的最新结果。收录：Stefan Schmid的分布式计算专栏，EATCS公告，第126卷·Zbl 1428.68047号 [31] 弗雷德金，E。；Toffoli，T.，《保守逻辑》，《国际理论物理杂志》，21，3-4，219-253（1982）·Zbl 0496.94015号 [32] 弗伦德，R。；Oswald，M.，分析P系统的简短说明，EATCS公报，79，231-236（2002）·Zbl 1169.68411号 [33] Hack，M.，Petri网语言，技术报告159（1976），剑桥：麻省理工学院出版社，剑桥 [34] Hartmanis，J。；Sterns，RE，序列机器的代数结构理论（1966），《上鞍河：普伦蒂斯·霍尔》，上鞍河·Zbl 0154.41701号 [35] Hirvensalo，M.，《概率和量子反应系统》，理论计算机科学，429，134-143（2012）·Zbl 1248.68197号 [36] JE霍普克罗夫特；莫特瓦尼，T。；Ullman，JD，《自动化理论、语言和计算导论》（2003），波士顿：Addison-Wesley出版社，波士顿·Zbl 0980.68066号 [37] Ionescu，M。；普恩，Gh；Yokomori，T.，Spiking neural P systems，基础信息学，71，2-3279-308（2006）·Zbl 1110.68043号 [38] 卡普，RM；Miler，RE，并行程序模式，《计算机与系统科学杂志》，3，2，147-195（1969）·Zbl 0198.32603号 [39] 俄亥俄州Ibarra，《关于P系统的强可逆性及相关问题》，《国际计算机科学基础杂志》，22，1，7-14（2011）·Zbl 1213.68272号 [40] Krohn，K。；Rhodes，J.，机器代数理论I.有限半群和机器的素分解定理，美国数学学会学报，116，450-464（1965）·Zbl 0148.01002号 [41] Kudlek，M。；Martin-Vide，C。；普恩，Gh；Calude，C。；普恩，Gh；Rozenberg，G。；Salomaa，A.，走向形式宏观集理论，多重集处理，123-134（2001），柏林：施普林格出版社，柏林·Zbl 1052.68063号 [42] Kudlek，M。；托茨克，P。；Zetzsche，G.，由多集下推自动机定义的多集语言类的属性，基础信息学，93，235-244（2009）·Zbl 1191.68393号 [43] 库特里布，M。；Malcher，A.，可逆下推自动机，《计算机与系统科学杂志》，781814-1827（2012）·Zbl 1250.68166号 [44] Liekens，A.M.L.和Fernando，C.T.（2007）。图灵全催化粒子计算机。第九届欧洲人工生命会议论文集（ECAL 2007），《计算机科学讲义》，第4648卷，柏林斯普林格，第1页，202-1211。 [45] 麦克诺顿，R。；Papert，S.，Counter-Free Automata（1971），剑桥：麻省理工学院出版社，剑桥·Zbl 0232.94024号 [46] Leporati，A。；赞德隆，C。；Mauri，G.，模拟Fredkin电路的可逆P系统，《信息基础》，74529-548（2006）·Zbl 1106.68041号 [47] 森田，K。；白崎，A。；Gono，Y.，《1带2符号可逆图灵机》，《IEICE日本汇刊》，E72,3223-228（1989） [48] Morita，K.，双向可逆多头有限自动机，基础信息学，110，1-4，241-254（2011）·Zbl 1234.68230号 [49] 西田，T.Y.（2009）。具有同端口/反端口规则的可逆P系统。摘自：第十届膜计算研讨会论文集，第452-460页。 [50] Nivat，M.，《乔姆斯基语言的转换》，《傅里叶学会年鉴》，第18卷，第339-456页（1968年）·Zbl 0313.68065号 [51] 大久保，F.（2014）。论反应自动机按顺序工作的计算能力。参加：第四届自动机和应用非经典模型研讨会，book@ocg.at系列290，第149-164页，Osterreichische Computer Gesellschaft，2012年。此外，RAIRO理论信息学和应用，第48卷，第23-38页·Zbl 1366.68062号 [52] 大久保，F。；小林，S。；Yokomori，T.，反应自动机，理论计算机科学，429，247-257（2012）·Zbl 1276.68074号 [53] 大久保，F。；小林，S。；Yokomori，T.，关于由有界反应自动机定义的语言类的属性，理论计算机科学，454206-221（2012）·Zbl 1252.68180号 [54] 大久保，F。；横滨，T。；铃木，Y。；Hagiya，M.，《反应自动机理论的最新发展：一项调查》，《自然计算的最新进展：工业数学》，1-22（2015），东京：Springer，东京 [55] 大久保，F。；Yokomori，T.，《具有多集记忆的有限自动机：乔姆斯基层次结构的新特征》，《信息学基础》，138，31-44（2015）·Zbl 1342.68187号 [56] 大久保，F。；Yokomori，T.，化学反应自动机的计算能力，自然计算，15，2，215-224（2016）·Zbl 1415.68096号 [57] 大久保，F。；Yokomori，T.，基于本地语言和星型语言的语族形态特征，《信息基础》，154，323-341（2017）·Zbl 1435.68181号 [58] 大久保，F。；横滨，T。；Adamatzky，A.，化学反应自动机中确定性和可逆性的计算能力，可逆性和普遍性：涌现、复杂性和计算，279-298（2018），查姆：斯普林格，查姆·Zbl 1434.68166号 [59] 大久保，F。；横滨，T。；Manea，F。；米勒，R。；Nowotka，D.，《使用多集进行计算：反应自动机理论的调查》，计算世界中的航海路线：CiE 2018，421-431（2018），Cham:Springer，Cham·兹比尔1509.68073 [60] 大久保，F。；Yokomori，T.，化学反应传感器的分解和因子分解，理论计算机科学，777431-442（2019）·Zbl 1425.68112号 [61] Păun，Gh，膜计算，计算机与系统科学杂志，61，1，108-143（2000）·Zbl 0956.68055号 [62] Péun，Gh，《膜计算：简介》（2002），柏林：施普林格出版社，柏林·Zbl 1034.68037号 [63] 普恩，Gh；Pérez-Jiménez，MJ；Calude，C。；Rozenberg，G。；Salomaa，A.，P和dP自动机：一项调查，Maurer Festschrift:计算机科学讲稿，102-115（2011），柏林：Springer，Berlin·Zbl 1327.68157号 [64] 普恩，Gh；Pérez-Jiménez，MJ，《P automata reviewed》，《理论计算机科学》，454222-230（2012）·Zbl 1280.68119号 [65] 普恩，Gh；Rozenberg，G。；Salomaa，A.，《膜计算手册》（2010），牛津：牛津大学出版社，牛津·兹伯利1237.68001 [66] Peterson，JL，Petri网，ACM计算调查，9，3，223-252（1977）·Zbl 0357.68067号 [67] Peterson，JL，Petri网理论和系统建模（1981），恩格伍德悬崖：普伦蒂斯·霍尔，恩格尔伍德悬崖·Zbl 0461.68059号 [68] 钱，L。；Soloveichik，D。；Winfree，E。；Sakakibara，Y。；Mi，Y.，《DNA聚合物的高效图灵-通用计算：计算机科学讲义》第6518卷，DNA16123-140（2011），海德堡：斯普林格·兹比尔1309.68071 [69] Reinhardt，K.，带抑制器弧的Petri网的可达性，理论计算机科学电子笔记，223239-264（2008）·Zbl 1337.68191号 [70] Reisig，W。；Rozenberg，G.，《Petri网讲座I：基本模型：计算机科学讲义》（第1491卷）（1998年），柏林：施普林格出版社，柏林·Zbl 0903.00072号 [71] Rozenberg，G。；Salomaa，A.，《形式语言手册》，3卷（1998年），柏林：施普林格出版社，柏林 [72] Salomaa，A.，《形式语言》（1973），纽约：学术出版社，纽约·Zbl 0262.68025号 [73] Salomaa，A。；康斯特布尔，RL；Silva，A.，《关于反应系统、逻辑和程序语义定义的状态序列：计算机科学讲义》，271-282（2012），柏林：施普林格出版社，柏林·Zbl 1354.68081号 [74] Salomaa，A.，《反应系统生成的函数和序列》，《理论计算机科学》，466871-96（2012）·Zbl 1321.68268号 [75] 塞缪尔·克拉蒙斯（Samuel Clamons），S。；钱，L。；Winfree，E.，《在表面上编程和模拟化学反应网络》，《皇家学会界面杂志》（2019年）·doi:10.1098/rsif.2019.0790 [76] Soloveichik，D。；库克，M。；Winfree，E。；Bruck，J.，有限随机化学反应网络计算，自然计算，7，4，615-633（2008）·Zbl 1187.68220号 [77] Soloveichik，D。；Seelig，G。；Winfree，E.，DNA作为化学动力学的通用底物，《美国国家科学院学报》，107，12，5393-5398（2010） [78] 铃木，Y。；Y.藤原。；Takabayashi，J。；Tanaka，H。；Calude，C。；普昂，G。；Rozenberg，G。；Salomaa，A.，一类P系统的人工生命应用：多集上的抽象重写系统：计算机科学讲义第2235卷，多集处理，299-346（2001），海德堡：斯普林格·Zbl 1052.68067号 [79] Thachuk，C。；Condon，A。；斯特凡诺维奇（D.Stefanovic）。；Turberfield，A.，《DNA链置换系统的空间和能量效率计算：计算机科学讲义》第7433卷，DNA 18，135-149（2012），海德堡：斯普林格·Zbl 1372.68105号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。