点火同步问题的近期解法与下界综述
形式语言与自动机理论
2017-01-05 v1 元胞自动机与格子气
摘要
广泛领域中的复杂系统，如生物建模、图像处理和语言识别，可以使用称为有限自动机的非常简单机器的网络来建模。将使用有限自动机建模的子系统连接成网络可允许更强的计算能力。这样一种网络，称为元胞自动机，由 n 维数组（n > 1）组成，数组每个点上放置一个有限自动机。与元胞自动机相关的最古老问题之一是点火同步问题，最初由 John Myhill 于 1957 年提出。与任何长期存在的问题一样，点火同步问题有大量解法。我们的目标以及这项工作的贡献是总结该问题的近期解法。我们主要关注原始问题的解法，即网络为一维数组且单个发起者位于一端的问题。我们总结最小时间和非最小时间解法，重点放在 1998 年之后发表的解法上。我们还关注最小化有限自动机所需状态数的解法。在此过程中，我们还确定了在寻找点火同步问题最小状态解法方面仍然存在的开放问题。
引用
@article{arxiv.1701.01045,
title = {An Overview of Recent Solutions to and Lower Bounds for the Firing Synchronization Problem},
author = {Thiago Correa and Breno Gustavo and Lucas Lemos and Amber Settle},
journal= {arXiv preprint arXiv:1701.01045},
year = {2017}
}