Oct, 2022

非一致性细胞自动机的一些点态和可判定性质

TL;DR研究非均匀细胞自动机的特性,证明了点状幂零、周期性和最终周期性等性质与幂零、周期性和最终周期性等性质分别等价。此外,还证明了每个满足点方程(可能依赖于配置)的线性 NSGCA 必须是最终周期性的线性 NSGCA。还将这些动力学特性的可决策性结果推广到任意限制高维线性和群 CA 的局部扰动。