International Journal of Foundations of Computer Science ( IF 0.8 ) Pub Date : 2021-05-07 Johan Kopra
We consider the range of possible dynamics of cellular automata (CA) on two-sided beta-shifts and its relation to direct topological factorizations. We show that any reversible CA has an almost equicontinuous direction whenever is not sofic. This has the corollary that non-sofic beta-shifts are topologically direct prime, i.e. they are not conjugate to direct topological factorizations of two nontrivial subshifts and . We also give a simple criterion to determine whether is conjugate to for a given integer and a given real when is a subshift of finite type. When is strictly sofic, we show that such a conjugacy is not possible at least when is a quadratic Pisot number of degree . We conclude by using direct factorizations to give a new proof for the classification of reversible multiplication automata on beta-shifts with integral base and ask whether nontrivial multiplication automata exist when the base is not an integer.
中文翻译:
关于直接拓扑因式分解和Beta移位上的细胞自动机动力学之间的相互作用
我们考虑了双向β移位中细胞自动机(CA)可能动力学的范围 及其与直接拓扑分解的关系。我们证明任何可逆的CA 每当有几乎相等的方向 不是苏菲克式的。这样的推论是,非声波β位移是拓扑上直接的素数,即它们不与直接拓扑因式分解共轭 两个非平凡的子移位 和 。我们还给出了一个简单的标准来确定是否 与...共轭 对于给定的整数 和给定的真实 什么时候 是有限类型的子移位。什么时候 严格来说,我们证明至少在以下情况下这种共轭是不可能的 是度数的二次Pisot数 。我们通过使用直接因式分解得出结论,从而为具有整数基数的beta移位上的可逆乘法自动机分类提供了新的证据,并询问当基数不是整数时是否存在非平凡乘法自动机。