⑩erbénuţ\355 ;Ņene，Traian;tefénescu，Gheorghe;格里高·罗什乌 使用K语言中的结构化数据定义和执行P系统。 （英语） Zbl 1196.68084号 Corne，David Wolfe（编辑）等人，《膜计算》。2008年7月28日至31日在英国爱丁堡举行的2008年世界气象大会第九届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-95884-0/pbk）。计算机科学课堂讲稿5391374-393（2009）。 概要：K是一个基于重写的框架，用于为编程语言和/或计算提供正式的可执行语义。K在两个方面与其他基于重写的框架不同：（1）它假设多集合和列表是内置的，前者建模并行特性，而后者建模连续特性；（2）重写规则的并行应用从非重叠规则扩展到可能重叠的规则，但在不被这些规则改变的部分上（可能重叠在“只读”部分上）。本文展示了P系统和变体如何定义为K（重写）系统。这是第一次将P系统表示为基于重写的框架，该框架逐步捕获原始P系统的行为（反应步骤）。除了为P系统提供一个正式的可执行语义框架外，将P系统嵌入为K系统也是实验和开发P系统新扩展（例如结构化数据）的基础。已经实现并试验了一个基于Maude的应用程序，用于执行K中定义的P系统；初步结果显示了在P系统中使用结构化对象的计算优势。有关整个系列，请参见[Zbl 1167.68002号]. 引用于6文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 2012年第68季度 语法和重写系统 软件：KOOL公司;K校准仪;莫德;毫升 PDF格式BibTeX公司 XML格式引用 \textit{T.öerbţ\355}等人，Lect。注释计算。科学。5391、374--393（2009年；Zbl 1196.68084） 全文： 内政部 参考文献： [1] Alberts，B.、Bray，D.、Lewis，J.、Raff，M.、Roberts，K.、Watson，J.D.：《细胞分子生物学》，第3版。加兰出版社，纽约（1994） [2] Andrei，O.，Ciobanu，G.，Lucanu，D.：P系统的结构操作语义。收录人：Freund，R.，Pun，G.，Rozenberg，G..，Salomaa，A.（编辑）WMC 2005。LNCS，第3850卷，第31-48页。斯普林格，海德堡（2006）·Zbl 1135.68400号 ·数字对象标识代码：10.1007/11603047_2 [3] Andrei，O.，Ciobanu，G.，Lucanu，D.：通过重写策略表达膜的控制机制。收录：Hoogeboom，H.J.、Pun，G.、Rozenberg，G..、Salomaa，A.（编辑）WMC 2006。LNCS，第4361卷，第154-169页。斯普林格，海德堡（2006）·兹比尔1187.68223 ·doi:10.1007/11963516_10 [4] Andrei，O.，Ciobanu，G.，Lucanu，D.：膜计算中的操作语义和重写逻辑。选举人。理论注释。计算。科学。 156, 57–78 (2006) ·Zbl 1273.68201号 ·doi:10.1016/j.entcs.2005.10.028 [5] Andrei，O.，Ciobanu，G.，Lucanu，D.：膜系统操作语义的重写逻辑框架。理论计算机科学。 373, 163–181 (2007) ·Zbl 1111.68064号 ·doi:10.1016/j.tcs.2006.12.016 [6] Banatre，J.-P.，Coutant，A.，Le Metayer，D.：用于多集合转换的并行机及其编程风格。未来一代计算机系统4，133–144（1988）·doi:10.1016/0167-739X（88）90012-X [7] Berry，G.，Boudol，G.：化学抽象机。理论计算机科学。 96, 217–248 (1992) ·Zbl 0747.68013号 ·doi:10.1016/0304-3975（92）90185-I [8] Cardelli，L.：Brane calculi。收录：Danos，V.，Schachter，V.（编辑）CMSB 2004。LNCS（LNBI），第3082卷，第257-278页。斯普林格，海德堡（2005）·Zbl 1088.68657号 ·文件编号：10.1007/978-3-540-25974-9_24 [9] Ciobanu，G.、Pun，G.和Stefnescu，G.:P传感器。新一代计算24，1–28（2006）·兹比尔1103.68050 ·doi:10.1007/BF03037291 [10] Clavel，M.，Duran，F.，Eker，S.，Lincoln，P.，Marti-Oliet，N.，Meseguer，J.，Quesada，J.F.：Maude:重写逻辑中的规范和编程。理论计算机科学。 285, 187–243 (2002) ·Zbl 1001.68059号 ·doi:10.1016/S0304-3975（01）00359-0 [11] Davis，M.、Sigal，R.、Weyuker，E.J.：可计算性、复杂性和语言，第二版。Morgan Kaufmann，旧金山（1994） [12] Frisco，P.：共聚焦-P系统：分子和细胞生物学启发的可计算性模型。理论计算机科学。 312, 295–319 (2004) ·Zbl 1070.68040号 ·doi:10.1016/j.tcs.2003.09.008 [13] Hills，M.，Rosu，G.：KOOL：重写逻辑在语言原型和分析中的应用。在：Baader，F.（编辑）RTA 2007。LNCS，第4533卷，第246–256页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-73449-9_19 [14] Hills，M.，Serbanuta，T.，Rosu，G.：语言定义和高效口译员生成的重写框架。选举人。理论注释。计算。科学。 176, 215–231 (2007) ·Zbl 1279.68116号 ·doi:10.1016/j.entcs.2007.06.017 [15] Meseguer，J.：条件重写逻辑作为并发的统一模型。理论计算机科学。 96, 73–155 (1992) ·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F [16] Meredith，P.，Hills，M.，Rosu，G.：方案的K定义。技术报告UIUCDCS-R-2007-2907（2007年10月） [17] Milner，R.：编程中的类型多态理论。计算机系统科学杂志。 17, 348–375 (1978) ·Zbl 0388.68003号 ·doi:10.1016/0022-0000（78）90014-4 [18] Milner，R.：沟通与并发。Prentice-Hall，Englewood Cliffs（1989）·Zbl 0683.68008号 [19] 潘恩，A.，潘恩，G.：通信的力量：具有同/反端口的P系统。新一代计算20，295–306（2002）·Zbl 1024.68037号 ·doi:10.1007/BF03037362 [20] 鲍恩，G.：用膜计算。计算机与系统科学杂志。 61, 108–143 (2000) ·兹比尔0956.68055 ·文件编号：10.1006/jcss.1999.1693 [21] Péun，G.：具有活性膜的P系统：解决NP完全问题。J.自动机，语言与组合数学6，75–90（2001）·兹比尔0970.68066 [22] Péun，G.：膜计算。导言。斯普林格，海德堡（2002）·doi:10.1007/978-3-642-56196-2 [23] Rosu，G.:K：一个基于重写的计算框架——初步版本。伊利诺伊大学计算机科学系UIUCDCS-R-2007-2926技术报告。之前的版本于2006年作为技术报告UIUCDCS-R-2006-2802发布，于2005年作为UIUCDCS-R-2005-2672发布。K于2003年秋季在Maude环境中首次引入，作为编程语言设计课程的一部分（UIUCDCS-R-2003-2897（2007）报告，网址：http://fsl.cs.uiuc.edu/k [24] 膜计算网页，http://ppage.psystems.eu/ 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。