用严格最小反应系统模拟反应系统
计算机科学中的逻辑
2020-02-24 v1
摘要
由 Ehrenfeucht 与 Rozenberg 引入的反应系统（reaction systems）是基于活细胞内发生的生化反应的初等计算模型。由于其简单性与丰富的生成能力，大量研究聚焦于最小反应系统的数学方面。2014 年 Manzoni、Pocas 与 Porreca 表明，每个反应系统均可由某个在扩展背景集上的最小反应系统模拟。受他们工作启发，我们引入严格最小（strictly minimal）与混合（hybrid）反应系统的概念。利用我们的新概念，重访并强化了 Manzoni 等人的结果。我们还表明，将背景集以多项式有界多个元素进行扩展，不足以保证上述模拟。最后，获得了关于强模拟（strong simulation）的类似结果。
引用
@article{arxiv.2002.09033,
title = {Simulation Of Reaction Systems By The Strictly Minimal Ones},
author = {Wen Chean Teh and Adrian Atanasiu},
journal= {arXiv preprint arXiv:2002.09033},
year = {2020}
}
备注
11 pages, submitted for a special issue consideration