毫克 swMATH ID: 22121 软件作者: 贾维托,J.-L。;O·米歇尔。 描述: MGS:一种用于复杂对象和集合的基于规则的编程语言。我们介绍了一种名为MGS的新声明性编程语言的开发的第一个结果。该语言用于模拟生物过程,尤其是那些状态空间必须与系统当前状态联合计算的过程。MGS对最初受生物或化学过程启发的几种计算机制(伽玛和CHAM、林登迈耶系统、Paun系统和细胞自动机)提出了统一的观点。MGS中的基本计算步骤将元素集合a中的某些子集合B替换为另一个集合C。集合C仅依赖于B及其在a中的相邻元素。将C粘贴到a–B中取决于所涉及集合的形状。此步骤称为转换。可以通过多种方式指定要替换的集合。我们在这里提出了一种基于集合拓扑诱导的邻域关系的模式语言。然后介绍了控制转换应用程序的几个功能。 主页: http://www.sciencedirect.com/science/article/pii/S1571066104002932 相关软件: HOCL公司;NESL公司;莫德;六弦琴;PORGY公司;棱镜;生物SPI;毫升;KOOL公司;K校准仪;K-Maude公司;OBJ3型;爪哇风扇;汤姆;西洋陆军棋;OCaml公司;刚毛;剑麻;剪辑;博客 引用于: 9文件 全部的 前5名19位作者引用 三 奥纳·安德烈 2 赫莱内·基什内尔 1 莫雷诺·安德烈亚塔 1 罗伯托·巴布蒂 1 路易斯·比戈 1 加布里埃尔·乔巴努 1 克莉丝汀·艾森贝斯 1 吉安·卢伊斯·贾维托 1 弗莱德里克·格鲁 1 多雷尔·卢卡努 1 安德烈亚·马吉奥洛·谢蒂尼 1 路易斯·麦格南 1 米歇尔,奥利维尔·J·J。 1 保罗·米拉佐 1 埃里克·姆约尔斯内斯 1 乔瓦尼·帕迪尼 1 格里高·罗什乌 1 ☑特拉安·弗洛林(Traian Florin) 1 盖伊,尤西卜 4篇连载文章中引用 1 理论计算机科学 1 物理D 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 在4个字段中引用 8 计算机科学(68-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的引文