关于由有界反应自动机定义的语言类的性质
摘要：反应自动机是一种形式模型，旨在研究生物化学反应的交互行为的计算能力。反应自动机是具有多重集合重写机制的语言接受者，其基本框架基于[4]中介绍的反应系统。本文继续研究反应自动机，重点关注线性有界反应自动机（LRAs）和指数有界反应自动机（ERAs）的形式语言理论性质。除了LRAs，我们还引入了一个扩展模型（称为lambda-LRAs），允许在反应的接受过程中使用lambda移动，并研究由LRAs和lambda-LRAs接受的语言类的闭包性质。此外，我们建立了LRAs和ERAs接受的语言类与Chomsky层次结构之间的新关系。主要结果包括：（i）由lambda-LRAs接受的语言类形成具有附加闭包性质的AFL，（ii）任何递归可枚举语言都可以表示为由LRA接受的语言的同态映像，（iii）由ERAs接受的语言类与上下文敏感语言类相等。
作者：Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori
论文ID：1201.3082
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-01-17