膨胀II：元胞自动机的分类
形式语言与自动机理论
2010-09-27 v2
摘要
本文是两篇系列论文的第二部分，讨论膨胀：一种通过比较重标度后的时空图来定义元胞自动机拟序的方法。在本文中，我们引入了元胞自动机之间三种模拟的概念，并研究了这些模拟关系在整个元胞自动机集合上诱导的拟序结构。考虑了这些拟序的各个方面（诱导的等价关系、最大元素、诱导序等），提供了几种允许对元胞自动机进行分类的形式化工具。
引用
@article{arxiv.1001.5471,
title = {Bulking II: Classifications of Cellular Automata},
author = {Marianne Delorme and Jacques Mazoyer and Nicolas Ollinger and Guillaume Theyssier},
journal= {arXiv preprint arXiv:1001.5471},
year = {2010}
}