d-状态有限元胞自动机的可逆性
形式语言与自动机理论
2018-05-09 v2
摘要
本文研究了在周期性边界条件下,长度为 n 的一维三邻域 d-状态有限元胞自动机 (CAs) 的可逆性。我们基于 de Bruijn 图开发了一种名为可达树的工具,该工具可表示一个 n 元胞 CA 的所有可能可达构型。此工具已被用于测试 CA 的可逆性。通过遵循一些贪心策略,我们利用该工具识别出了一大类可逆 CA。
引用
@article{arxiv.1502.01187,
title = {Reversibility of d-State Finite Cellular Automata},
author = {Kamalika Bhattacharjee and Sukanta Das},
journal= {arXiv preprint arXiv:1502.01187},
year = {2018}
}
备注
Copyright of Old City Publishing