有限状态机的竞技场
摘要：有限状态机被广泛应用作为一种可靠地描述大规模、分布式和复杂系统的数学形式。复杂系统中多个有限状态机的相互作用可以很好地被非平坦系统的概念所捕捉。非平坦系统是指“有限状态机”，其中每个“状态”可以是基本状态或由有限状态机组成的集合。通过扩展非平坦系统，可以得到一个平坦系统，即普通的有限状态机。本文介绍了一种新颖的非平坦系统类别，称为有限状态机竞技场（AFSM）。AFSM是通过通信网络同时相互作用的有限状态机的集合。我们提出了一种组合双模拟的概念，通过直接利用它们的通信网络来检查AFSM的双模拟等价性，而无需将AFSM扩展为有限状态机。在论文中，对组合双模拟在减少检查AFSM双模拟等价性的计算复杂性方面进行了形式化的量化。还介绍了将该框架应用于大肠杆菌基因表达调控的实例。
作者：Giordano Pola, Maria D. Di Benedetto and Elena De Santis
论文ID：1106.0342
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-12-13