当前位置: X-MOL 学术Int. J. Found. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the Interplay of Direct Topological Factorizations and Cellular Automata Dynamics on Beta-Shifts
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 Sβ and its relation to direct topological factorizations. We show that any reversible CA F:SβSβ has an almost equicontinuous direction whenever Sβ 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 X×Y of two nontrivial subshifts X and Y. We also give a simple criterion to determine whether Snγ is conjugate to Sn×Sγ for a given integer n1 and a given real γ>1 when Sγ is a subshift of finite type. When Sγ is strictly sofic, we show that such a conjugacy is not possible at least when γ is a quadratic Pisot number of degree 2. 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)可能动力学的范围 小号β及其与直接拓扑分解的关系。我们证明任何可逆的CAF小号β小号β 每当有几乎相等的方向 小号β不是苏菲克式的。这样的推论是,非声波β位移是拓扑上直接的素数,即它们不与直接拓扑因式分解共轭X×ÿ 两个非平凡的子移位 Xÿ。我们还给出了一个简单的标准来确定是否小号ñγ 与...共轭 小号ñ×小号γ 对于给定的整数 ñ1个 和给定的真实 γ>1个 什么时候 小号γ是有限类型的子移位。什么时候小号γ 严格来说,我们证明至少在以下情况下这种共轭是不可能的 γ 是度数的二次Pisot数 2个。我们通过使用直接因式分解得出结论,从而为具有整数基数的beta移位上的可逆乘法自动机分类提供了新的证据,并询问当基数不是整数时是否存在非平凡乘法自动机。

更新日期:2021-05-10
down
wechat
bug