两个相交异步布尔自动机循环的吸引子的完整特征描述
摘要：布尔自动机网络动态的理解在计算机科学的各个领域中占据重要地位，如可计算性、复杂性和离散动力系统。本文通过关注网络中必需的周期性来进一步理解这一点，周期被认为是网络复杂性的基石。我们提出了新的结果，对由两个在一个自动机上相交的周期组成的异步布尔自动机网络的短暂和渐进动态（即计算能力）进行了表征。为此，我们引入了一种受到算法启发的有效形式主义，用于定义长序列的更新，相较于该领域中先前的工作，能更好地描述它们的动态。
作者：Tarek Melliti, Mathilde Noual, Damien Regnault, Sylvain Sen''e, J''er''emy Sobieraj
论文ID：1310.5747
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-02-19