守恒细胞自动机的通用性与可判定性
元胞自动机与格子气
2007-05-23 v1
摘要
数守恒细胞自动机（NCCA）尤为有趣，既因其作为真实系统模型的自然出现，也因为数守恒所隐含的强限制。此处我们将该性质的定义扩展至包含状态集为中任意集合的细胞自动机，并证明它们总可扩展为具有连续状态的“通常”NCCA。我们给出了一种通过一维NCCA模拟任意一维CA的方法，证明了本质通用NCCA的存在。最后，我们给出一种算法，用以判定给定CA的状态是否可用整数标记以产生NCCA，并在答案为肯定时找出该重新标记。
引用
@article{arxiv.nlin/0306032,
title = {Universality and Decidability of Number-Conserving Cellular Automata},
author = {Andres Moreira},
journal= {arXiv preprint arXiv:nlin/0306032},
year = {2007}
}
备注
13 pages