×

膜系统中的反向计算。 (英语) Zbl 1208.68121号

小结:本文讨论膜系统中的逆向计算。其目的是回答以下问题:给定膜系统的配置(M),如何找到每个配置(N),使(N)在一步内演化为(M)?虽然很容易说明,但这个问题并没有一个简单的答案。我们提供了一种解决方案,即从一个膜系统开始,引入“反向P系统”。为了获得具有一般规则和膜溶解的膜系统的解,我们将膜结构扁平化,并扩展了用于单膜系统的方法。

MSC公司:

第68季度10 计算模式(非确定性、并行、交互式、概率性等)
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] O.Agrigoroaiei,G.Ciobanu,双P系统,摘自:2008年膜计算研讨会,计算机科学讲稿,第5391卷,2009年,第95-107页。;O.Agrigoroaiei,G.Ciobanu,双P系统,摘自:2008年膜计算研讨会,《计算机科学讲稿》,第5391卷,2009年,第95-107页·Zbl 1196.68086号
[2] Agrigoroaiei,O。;乔巴努,G.,重写带有促进剂和抑制剂的膜系统的逻辑规范,电子。注释Theor。计算。科学。,238, 5-22 (2009) ·Zbl 1347.68125号
[3] A.Alhazov,K.Morita,《论P系统的可逆性和决定论》,载于:2009年膜计算研讨会,《计算机科学讲义》,第59572010卷,第158-168页。;A.Alhazov,K.Morita,《关于P系统中的可逆性和确定性》,摘自:2009年膜计算研讨会,《计算机科学讲义》,第5957卷,2010年,第158-168页·Zbl 1273.68110号
[4] 安德烈,O。;乔巴努,G。;Lucanu,D.,《膜系统操作语义的重写逻辑框架》,Theoret。计算。科学。,373, 163-181 (2007) ·Zbl 1111.68064号
[5] 巴雷塔,C。;亨特·H·B。;马拉西亚,M.V。;Ravic,S.S。;罗森克兰茨博士。;斯特恩斯,R.E。;Thakurd,M.,有限离散动力系统的前置存在性问题,理论。计算。科学。,386, 337 (2007) ·Zbl 1137.68410号
[6] Ciobanu,G.,通信膜系统上的分布式算法,生物系统,70123-133(2003)
[7] G.Ciobanu,D.Lucanu,《膜上细胞元编程》,载于《非传统编程范式》,《计算机科学讲义》,第3566卷,2005年,第189-199页。;G.Ciobanu,D.Lucanu,《跨膜细胞元编程》,载于《非传统编程范式》,《计算机科学讲义》,第3566卷,2005年,第189-199页。
[8] 乔巴努,G。;ă联合国,G。;Pérez-Jiménez,M.J.,《膜计算的应用》(2006),施普林格出版社
[9] R.Freund,S.Verlan,静态(组织)P系统的正式框架,摘自:2007年膜计算研讨会,计算机科学讲稿,第4860卷,2007年,第271-284页。;R.Freund,S.Verlan,《静态(组织)P系统的正式框架》,载于:《2007年膜计算研讨会》,《计算机科学讲义》,第4860卷,2007年,第271-284页·兹比尔1137.68387
[10] M.A.Gutiérrez-Naranjo,M.J.Pérez-Jiménez,《搜索膜计算中的先前配置》,摘自:2009年膜计算研讨会,《计算机科学讲稿》,第5957卷,2010年,第301-315页。;M.A.Gutiérrez-Naranjo,M.J.Pérez-Jiménez,《搜索膜计算中的先前配置》,摘自:《2009年膜计算研讨会》,《计算机科学讲稿》,第5957卷,2010年,第301-315页·Zbl 1273.68125号
[11] Leporati,A。;赞德隆,C。;Mauri,G.,模拟Fredkin电路的可逆P系统,基金。通知。,74, 529-548 (2006) ·Zbl 1106.68041号
[12] Morita,K.,《可逆计算和细胞自动机——一项调查》,Theoret。计算。科学。,395, 101-131 (2008) ·Zbl 1145.68036号
[13] T.Y.Nishida,具有同向/反向规则的可逆P系统,摘自:2009年第十届膜计算研讨会论文集,第452-460页。;T.Y.Nishida,《具有同向/反方向规则的可逆P系统》,载于:《第十届膜计算研讨会论文集》,2009年,第452-460页。
[14] ăun,G.,《膜计算》。简介(2002),施普林格·Zbl 1034.68037号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。