×

P系统中的时间自由和时钟自由以及相关概念。 (英语) Zbl 1436.68109号

概要:在P系统的大多数模型中,规则都是在全球时钟的滴答声中应用的,并且它们的产品被引入系统以用于下一步。在定时P系统中,不同的整数持续时间被静态分配给规则;无时间P系统是独立于这些持续时间产生相同语言的P系统。在无时钟P系统中,持续时间是真实的,并分配给各个规则应用程序;因此,相同规则的不同应用可能持续不同的时间量。在本文中,我们在一个通用并行重写框架内正式化了定时、无时间和无时钟的P系统。然后我们探讨这些语义变体之间的关系。我们证明了无时钟P系统不能有效地解决棘手的问题。此外,我们考虑了使用任意定时函数收集结果的非时间系统,以及在所有可能的永久规则持续时间内采用并集的非锁定P系统。最后,我们还介绍和研究了无模式P系统,其结果不依赖于固定模式族中模式的选择,并将其与时钟频率进行了比较。

MSC公司:

2007年第68季度 受生物启发的计算模型(DNA计算、膜计算等)

软件:

弗兰
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿尔哈佐夫,A。;Freund,R.,异步和最大并行确定性控制非合作P系统描述了NFIN和co-NFIN,(Csuhaj-Varjü,E.;Gheorghe,M.;Rozenberg,G.;Salomaa,A。;Gy.Vaszil,《膜计算——第13届国际会议》。膜计算-第13届国际会议,2012年CMC,匈牙利布达佩斯,2012年8月28日至31日。修订论文集。膜计算——第13届国际会议。膜计算第13届国际会议,CMC 2012,匈牙利布达佩斯,2012年8月28日至31日。修订论文选集,计算机课堂讲稿。科学。,第7762卷(2012),施普林格),101-111·兹比尔1388.68037
[2] Alhazov,A。;弗伦德,R。;伊万诺夫,S。;Oswald,M.,《对具有状态的P系统的观察》(Gheorghe,M.;Petre,I.;Pérez-Jiménez,M.J.;Rozenberg,G.;Salomaa,A.,《多学科创造力》,《在Gheorgher Péun 65岁生日时向他致敬》(2015),斯潘杜吉诺,17-28
[3] Alhazov,A。;弗伦德,R。;Verlan,S.,P系统在集合推导模式的最大变体中工作,(Leporati,A.;Rozenberg,G.;Salomaa,A.;Zandron,C.,《膜计算-第17届国际会议》,2016年7月25日至29日,CMC,意大利米兰,第17届国际会议。修订论文集。膜计算——第17届国际会议。膜计算第17届国际会议,2016年7月25日至29日,CMC,意大利米兰。修订论文选集,计算机课堂讲稿。科学。,第10105卷(2016),施普林格),83-102·Zbl 1483.68108号
[4] Calude,C.S。;普恩,Gh。,《图灵之外的生物步骤》,生物系统,77,1-3,175-194(2004)
[5] 卡瓦利埃,M。;Sburlan,D.,《时间依赖性P系统》(Mauri,G.;Péun,Gh;Pé),P.rez-Jiménez,M.J.;Rozenberg,G;Salomaa,A.,《膜计算:第五届国际研讨会》,膜计算:2004年第五届世界气象大会国际研讨会,意大利米兰,2004年6月14-16日。修订论文选集和邀请论文(2005),施普林格:施普林格柏林,海德堡),239-258·Zbl 1117.68355号
[6] Elliott,C。;Hudak,P.,功能反应动画(功能编程国际会议(1997))·Zbl 1369.68094号
[7] Freund,R.,《异步P系统和顺序模式下工作的P系统》,(Mauri,G.;Pun,Gh;Pérez-Jiménez,M.J.;Rozenberg,G..;Salomaa,A.,《膜计算》,第五届国际研讨会。膜计算,第五次国际研讨会,WMC 2004,意大利米兰,2004年6月14-16日。修订精选论文和邀请论文。膜计算,第五届国际研讨会。2004年6月14日至16日,意大利米兰,WMC 2004,第五届膜计算国际研讨会。修订精选和邀请论文,计算机课堂讲稿。科学。,第3365卷(2004),施普林格),36-62·Zbl 1117.68363号
[8] 弗伦德,R。;科格勒,M。;Oswald,M.,基于规则适用性的规范重写的一般框架,(Kelemen,J。;Kelemenová,A.,《计算、合作与生活——献给盖奥尔基·佩恩60岁生日的散文》。计算、合作和生活——在盖奥尔基·佩恩60岁生日之际献给他的散文,计算机讲义。科学。,第6610卷(2011),施普林格),35-53·Zbl 1330.68133号
[9] 弗伦德,R。;Verlan,S.,静态(组织)P系统的正式框架,(Eleftherakis,G.;Kefalas,P.;Păun,Gh.;Rozenberg,Gh.;Salomaa,A.,膜计算,膜计算讲义,第4860卷(2007),施普林格:施普林格-柏林,海德堡),271-284·Zbl 1137.68387号
[10] Gillespie,D.T.,耦合化学反应的精确随机模拟,J.Phys。化学。,81, 25, 2340-2361 (1977)
[11] Ivanov,S.,《细胞无时钟网络的正式框架》,国际计算机杂志。数学。,90, 4, 776-788 (2013) ·Zbl 1286.68134号
[12] 普恩,Gh。;Rozenberg,G。;Salomaa,A.,《牛津膜计算手册》(2010),牛津大学出版社:牛津大学出版社,美国纽约州纽约市·Zbl 1237.68001号
[13] (Rozenberg,G.;Salomaa,A.,《形式语言手册》,3卷(1997),Springer:Springer New York,NY,USA)·Zbl 0866.68057号
[14] Sburlan,D.,《无时钟P系统》,(第五届膜计算研讨会(WMC5)预编)。2004年6月在意大利米兰举行的第五届膜计算研讨会(WMC5)的预告
[15] Song,B。;Pérez-Jiménez,M.J。;Pan,L.,膜上蛋白质的P系统对SAT问题的一种有效的无时间解决方案,J.Compute。系统科学。,82, 6, 1090-1099 (2016) ·Zbl 1342.68133号
[16] Song,B。;宋,T。;Pan,L.,具有活性膜和标准细胞分裂规则的P系统对SAT问题的无时间解决方案,自然计算。,14, 4, 673-681 (2015) ·Zbl 1415.68098号
[17] Song,B。;宋,T。;Pan,L.,带细胞分裂的组织P系统子集和问题的无时间统一解,数学。结构计算。科学。,27, 1, 17-32 (2017) ·Zbl 1364.68207号
[18] 宋,T。;马西亚斯·拉莫斯,L.F。;潘·L。;Pérez-Jiménez,M.J.,使用带活性膜的P系统解决SAT问题的无时间解决方案,Theoret。计算。科学。,529, 61-68 (2014) ·Zbl 1358.68103号
[19] 国际膜计算学会(IMCS)公报
[20] P Systems网站
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。