跳转到内容

元胞自动机/等价类

来自维基教科书,开放世界中的开放书籍

斯蒂芬·沃尔夫勒姆是最早关注 CA 规则完整集合的人之一。他观察了所有可以使用二进制单元格 和三个单元格邻域 创建的规则。共有 种这样的规则。随着单元格状态数量的增加,规则数量呈指数级增长,并且随着邻域大小的增加,规则数量增长得更快。如此大量的规则在观察整个规则集时是一个限制因素。


等价的定义

[编辑 | 编辑源代码]

在这个定义中,对规则使用了一个更正式的名称,局部定义函数。

局部定义函数 等于局部定义函数 ,当且仅当存在一个全局 CA 状态的同态 ,使得

规则聚类

[编辑 | 编辑源代码]

或不同的对称性

  1. 输入补码
  2. 输出补码
  3. 反射对称
  4. 旋转对称(二维)?可以由反射产生,但实际上不能
  5. 等价类


等价类

[编辑 | 编辑源代码]

参考文献

[编辑 | 编辑源代码]
  1. Mirek Wojtowicz元胞自动机规则词典
  2. 全局动力学
  3. http://en.wikipedia.org/wiki/Symmetries
  4. http://en.wikipedia.org/wiki/Equivalence_class
  5. http://en.wikipedia.org/wiki/Euclidean_plane_isometry
  6. 关于 xlcau21 (22) http://groups.google.com/group/comp.theory.cell-automata/browse_frm/thread/b4596943ee04f3d6/9fffa47e715ffb7e?q=symmetry&rnum=6&hl=en#9fffa47e715ffb7e
华夏公益教科书