反应自动机
摘要：反应系统是一种形式模型，用于研究生物化学反应的交互行为。基于反应系统的形式框架，我们提出了一种名为反应自动机的新的计算模型，它具有（字符串）语言接受器和多重集合操作作为计算机制，并且证明了反应自动机在计算上是图灵通用的。此外，我们研究了一些具有空间复杂度的反应自动机的子类，并将它们的语言类与乔姆斯基层次中的类进行了比较。
作者：Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori
论文ID：1111.5038
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-11-29