类生命元胞自动机中的生长与衰亡

我们提出了一种针对二维半全总元胞自动机的四类分类法，该分类不同于 Wolfram 的分类，基于两个是非问题：是否存在最终能逃逸任何包围它们的有限边界框的图案？是否存在完全消亡的图案？如果这两个条件都成立，那么该元胞自动机规则很可能支持滑翔机，即移动的小图案，它们构成了 Life 中已知的许多更复杂图案的构建块。如果一个或两个条件不成立，那么给定的元胞自动机规则可能仍支持有趣的现象，但我们必须更努力地寻找它们。尽管我们的分类非常粗略，但我们认为它比 Wolfram 的分类更客观（因为更容易确定这些问题的严格答案）、更具预测性（因为我们可以在不单独观察的情况下对大组规则进行分类），并且在将注意力集中在可能支持具有复杂行为图案的规则上更准确。我们通过调查许多已知的元胞自动机规则来支持这些论断。