重新审视元胞自动机的Rice定理
离散数学
2011-08-25 v4 形式语言与自动机理论
摘要
元胞自动机是一种并行同步计算模型，由有限自动机的并置组成，其状态根据邻居的状态演化。它在配置集（即细胞状态的无限序列）上诱导出一个动力系统。元胞自动机的极限集是在演化中任意晚期都能达到的配置集。在本文中，我们证明了对于二元状态细胞的元胞自动机，其极限集的所有性质（除了满射性）都是不可判定的。这是Kari在具有任意状态集的元胞自动机上证明的经典“Rice定理”的改进。
引用
@article{arxiv.1001.0253,
title = {Revisiting the Rice Theorem of Cellular Automata},
author = {Pierre Guillon and Gaétan Richard},
journal= {arXiv preprint arXiv:1001.0253},
year = {2011}
}
备注
12 pages conference STACS'10