36、二维最优时间同步算法的转移规则集构建

二维最优时间同步算法的转移规则集构建

1. 引言

在二维同步算法中，Shinahr提出了一个28状态的实现方案，其转移规则集RShi中大部分（97%）规则带有通配符。然而，简单扩展这些带通配符的规则会产生大量冗余规则和定义不一致的问题。因此，我们需要重构一个无通配符的实编码转移规则集R。

2. 相关概念

2.1 内部状态集Q

Shinahr的28状态实现中的内部状态集Q如下：

Q = {Q0, P0, Q1, A1, S1, A2, S2, M1, Q2, A3, S3, A4, S4, M2, K0,
K1, Y1, Y2, Q6, A5, A6, S5, S6, K2, K3, P1, M0, F0}

其中，符号P0、Q0和F0分别表示一般状态、静止状态和激发状态。

2.2 状态转移规则表示

RShi中的状态转移表中的每个规则由6元组表示：Y1 Y2 Y3 Y4 Y5 Y6，其中Y1表示单元格的当前状态，Y2表示西侧状态，Y3表示东侧状态，Y4表示北侧状态，Y5表示南侧状态，Y6表示单元格的下一个状态。符号”X0”表示虚拟单元格的边界状态，符号” - -”表示通配符，可匹配Q∪{X0}中的任何状态。

2.3 内部状态子集

Shinahr定义了三个内部状态子集U1、U2和U3，以简化转移规则集RShi的构建：

U1 = {A5, A6, F0, K2,