元胞自动机泛极限集的赖斯定理
离散数学
2021-06-16 v1 动力系统
摘要
元胞自动机的泛极限集是一个拓扑定义的构型集合，旨在捕捉渐近行为同时避免非典型行为。它由Milnor首先定义，之后由Djenaoui和Guillon以及后来的Törmä研究。他们给出了该集合与元胞自动机动力学及其语言最大复杂性相关的性质。本文中，我们证明元胞自动机这些泛极限集的每一个非平凡性质都是不可判定的。
引用
@article{arxiv.2106.07907,
title = {Rice's theorem for generic limit sets of cellular automata},
author = {Martin Delacourt},
journal= {arXiv preprint arXiv:2106.07907},
year = {2021}
}