20、细胞自动机计算与通用性探索

细胞自动机计算与通用性探索

1. 细胞自动机计算中的特殊情况处理

在细胞自动机的计算过程中，会遇到不同的情况，需要采取相应的处理方式。
- 情况一：y > y0(0,0)
当出现这种情况时（如图20a所示），由于单元格x0(0,0)尚未遇到ca(0)，自动机c会从时间y0(0,0)开始冻结b的计算，直至遇到ca(0)，之后自动机c再解冻b的计算。
- 情况二：y < y0(0,0)
此时（如图20b所示），单元格x0(0,0)已经遇到过ca(0)，这意味着向右的偏移过大，需要向左进行偏移。自动机c会从时间y0(0,0)开始冻结b的计算，直到ca(0)回到单元格x0(0,0)，然后解冻b的计算。在ca的额外左移过程中，会出现以下两种情况：
- 若i > 0，ca(i)的额外左移会遇到右侧解冻信号，此时数据流会被简单地拉直。
- 若i < 0，则有两个子情况：
- 当|i|足够大时，当ca(i)遇到左侧冻结信号，数据会像y = y0(0, 0)的情况一样被压缩。
- 当|i|足够小时，ca(i)的额外左移会碰到垂直方向的x0(0, 0)，此时会插入一个新的垂直方向，并且需要将所有已构建的垂直方向向左移动一步。

命题中提到的延迟da，恰好是自动机c冻结b计算的时间。

2. 初始配置的分布

现在，初始配置ca已经被提升，需要将ca(i)和ca(-i)（i∈Z）放置在网格中D(i,0)和D(0,i)的合适输入点上，如图18a所示。
对于i∈Z，ca(i)分布在每隔一个单元格的位置