两个相交异步布尔自动机环吸引子的完整刻画
形式语言与自动机理论
2014-02-19 v2
摘要
布尔自动机网络动力学的理解在计算机科学的各种领域（如可计算性、复杂性和离散动力系统）中占据重要地位。本文通过聚焦于其环结构，在这一理解上迈出了进一步，因为环在网络中被视为复杂性的基石。我们提出了新的结果，对由两个在一个自动机处相交的环（即所谓的双环）组成的异步布尔自动机网络的瞬态和渐近动力学（即计算能力）进行了刻画。为此，我们引入了一种受算法启发的高效形式化方法来定义长更新序列，该方法比该领域先前的工作能更好地描述其动力学。
引用
@article{arxiv.1310.5747,
title = {Full characterisation of attractors of two intersected asynchronous Boolean automata cycles},
author = {Tarek Melliti and Mathilde Noual and Damien Regnault and Sylvain Sené and Jérémy Sobieraj},
journal= {arXiv preprint arXiv:1310.5747},
year = {2014}
}