五网格中元胞自动机停机问题的可判定性结果
形式语言与自动机理论
2018-12-11 v1 元胞自动机与格子气
摘要
本文研究了五网格中确定性元胞自动机的停机问题。我们证明当元胞自动机从有限构型开始计算且至多有两个状态（其中一个为静止状态）时，该问题是可判定的。
引用
@article{arxiv.1812.03882,
title = {A decidability result for the halting problem of cellular automata in the pentagrid},
author = {Maurice Margenstern},
journal= {arXiv preprint arXiv:1812.03882},
year = {2018}
}
备注
18 pages, 10 figures