标准元胞自动机是一个由「元胞、元胞状态、邻域和状态更新规则」构成的四元组,用数学符号可以表示为A=(L,d,S,N,f) . v. O0 w v M% {+ p: UA代表一个元胞自动机系统 Q( T0 }& @$ ~! nL表示元胞空间6 N N: r' p, H1 ^5 {& `2 ^
d表示元胞自动机内元胞空间的维数,是一正整数 5 j! D, y: t& NS是元胞有限的、离散的状态集合3 B- z( _9 k; E4 H
N表示某个邻域内所有元胞的集合 $ {; J0 o% d: M4 S' n3 lf表示局部映射或局部规则。 5 c. j7 T- Z F1 w/ Q' d- ^( U具体描述:" f4 p- V' Z. B H H. i
! X1 \7 S# d0 H- M! `. `" d% G, e/ s1 l! t; G, x+ W: I" |
元胞空间, a4 Z- r, k+ A: n, a6 j
元胞是构成元胞自动机的最基本单元,而元胞空间是元胞所分布的空间网点集合。0 l5 ^& [5 v4 b1 }# \
理论上,元胞空间是在各维向上无限延展的,但实际中无法在计算机上实现。因此,需要定义不同的边界条件。 ) _0 [/ u0 F: e/ |6 E# d x元胞空间的边界条件主要有三种类型:周期型、反射型和定值型。8 v+ ~4 l: L" ~ [
元胞状态- i/ ?+ U7 w" I, p! Y; s
通常在某一个时刻一个元胞只能有一种元胞状态,而且该状态取自一个有限集合,如{0,1},{生,死}或{0,a1,a2,an}。 4 O1 }$ ~ Z0 C, w! A6 t在社会科学领域中,元胞状态可以用来代表个体所持的态度、个体特征或行为等。 4 z8 O" k1 Q. M1 w E& N邻域 5 F5 w& {3 @' d) N# {6 O& r2 P在空间位置上与元胞相邻的细胞称为它的邻元,由所有邻元组成的区域称为它的邻域。 / I0 Z7 {- K# q g" Y在一维元胞自动机中,通常以半径r来确定邻域,距离某个元胞r内的所有元胞均被认为是该元胞的邻域。) u2 l1 N2 r( d# \; u9 i. V1 m
一维元胞自动机的邻域: 5 t; s' }- j0 Q4 p* m ! D; e. ]# a4 N O3 Z$ W, n* V5 h% n0 J0 V0 ]9 Z; T
在二维元胞自动机中,通常有以下几种类型的邻域: # _9 Y9 Q; u2 h9 Z, D) b4 L9 ?冯·诺依曼型(vonNeumanNeighborhoods) $ W% A8 D) |; M7 k8 A- U/ j摩尔型(MooreNeighborhoods)/ m" f% Q$ ]8 i- q! e0 b
马哥勒斯型(MargolusNeighborhoods) * I9 @8 w( U. T$ u$ U: c它是每次将一个2×2的元胞块做统一处理,而上述前两类邻域中,每个元胞是分别处理的3 `) t! G! H- g+ q% N' s" l7 u. k) L
1 a, m4 @- c- d) b/ g % X( `6 O& L9 h' W同样,也可以定义二维以上的高维元胞自动机的邻域* N# H8 _" A9 M" u
状态更新规则" T1 p3 _5 {0 n
是指根据元胞当前状态及其邻域中元胞的状态决定下一时刻该元胞状态的状态转移函数。 3 D2 I0 O- Z3 r) x状态更新规则可以写为,为t时刻的邻域状态组合,称为元胞自动机的局部映射或局部规则。 * K6 m$ K% P' Y+ Z( N* i. l; P# E6 i3 d( \* N" L