零边界条件下二维元胞自动机矩阵可逆性分析.pdfVIP

零边界条件下二维元胞自动机矩阵可逆性分析 刘碧川 吴秋轩 杭州电子科技大学自动化研究所，浙江杭州310018 摘要：该文介绍了二维元胞自动机的典型邻域结构，对多状态二维元胞自动机的矩阵描述进行了 拓展。通过对零边界条件下元胞自动机的状态转移矩阵的块矩阵的分析，得出矩阵的可逆性与元 胞自动机冯诺依曼型邻域之间的联系。 关键词：二维元胞自动机；冯 ·诺依曼型邻域；可逆性 TP301.1 A 138 杭州电子科技大学学报 2012年 ∥ (a)Moore型邻域 Ncumann型邻域 (b)Von 图1二维元胞自动机邻域结构 2二维元胞自动机的描述矩阵 二维元胞自动机在任一时步的状态均可用m×n阶位信息矩阵来表示。为便于分析，将转移规则 按文献3，5中所述等效为inn×mn阶矩阵M，初始状态中每一行进行转置成x。川，则下一时步状态 由于实际中当前元胞的状态是由其相邻元胞状态异或得到的，而在数学表达式中却是简单的相加，故准 mod 确来讲，下一状态Y=MX2。由此可推得，对于k个有限状态{0，1，2，…，k一1}的元胞自动机，其 mod 下一状态Y=MXk，其中x为当前状态，M为元胞规则的等效矩阵。 在零边界条件下，二维元胞自动机的等效转移矩阵M为三对角矩阵，即M= DUO 0 O O 0 LDUO 0 O O O LDU O O 0 。其中，D，U，．L=O或Inx O 0 0 O L --● O 0 O O O 。L nnn… U|DJm×m。 0 l O 0 0] 厂0 0 0 0 0 ●●● O 0 1 00 l O O O 0 ，T2= ●● 00 0 … 0 1 I 00 1 0 0 … 0 0 0 0 0 0 1 0J。。。Lo oJ。。。 转移矩阵M的特性取决于其子矩阵D，U，L的取值。D表示当前元胞受到其同一行元胞的影响的情况， 若不受影响，则D=0，反之亦然；u和L分别表示当前元胞受到其下一行元胞和上一行元胞的影响情况[71。 3规则矩阵的可逆性 若用Mt表示第i号规则，其中i=1，2，3，…，511，即M。表示Rule1，M：表示Rule2，以此类推。由 中所述，将{M。，M：，M。，M。，M。。}做为基础矩阵，其他规则矩阵都可由此5个基础矩阵变换得到，例 Tl，D=L=O；M8中U=I，D=L=O；M16中U=T2，D=L=0。 IrreversibilityAnalysisofMatricesforTwoDimensional CellularAutomatainNull-boundaryCondition LIUBi-chuanWUQiu-xuan InstituteofAutomation,HangzhouDianziUniversity,HangzhouZhejiang310018,China Abstract:Thispaperintroducestypicalneighborstructureoftwodimensional(2-D)cellularautomata,de velopsm