有限状态机竞技场
形式语言与自动机理论
2011-12-13 v2
摘要
有限状态机被广泛用作一种严谨的数学形式化方法，用于恰当描述大规模、分布式和复杂系统。复杂系统中有限状态机的多重交互可以通过非平面系统的概念很好地捕捉。非平面系统是“有限状态机”，其中每个“状态”可以是基本状态，也可以是有限状态机的聚合。通过展开非平面系统，可以得到一个平面系统，即一个普通的有限状态机。本文引入了一类新颖的非平面系统，称为有限状态机竞技场（AFSM）。AFSM是通过通信网络并发交互的有限状态机的集合。我们提出了一种组合互模拟的概念，允许通过直接利用其通信网络来检查AFSM的互模拟等价性，因此无需将AFSM展开为有限状态机。组合互模拟允许在检查AFSM的互模拟等价性时降低计算复杂度，本文对此进行了形式化量化。本文还将所提出的框架应用于大肠杆菌中基因表达的调控。
引用
@article{arxiv.1106.0342,
title = {Arenas of Finite State Machines},
author = {Giordano Pola and Maria D. Di Benedetto and Elena De Santis},
journal= {arXiv preprint arXiv:1106.0342},
year = {2011}
}