JCA 12.3-4，第159-187页

抽象几何计算9：三速有理信号机的精确离散化
汤姆·贝松和杰尔·杜兰·洛斯

在抽象几何计算的背景下，信号机被开发为细胞自动机的连续对应物，它捕获粒子、信号和碰撞的概念。一个重要的问题是CA的自动生成模仿给定信号机的动力学。一方面，存在临时/手动转换。另一方面，这并不总是可能的，因为一些信号机表现出的行为（如分形构造或依赖于无限信息密度）是（离散的）细胞自动机所无法做到的。

本文提供了一种解决方案，可以为无法表现出这种行为的“最大”类信号机自动生成元胞自动机。该方案包括初始构型的离散化，以便原始连续动力学和生成的离散动力学在线性变形方面是相同的。所考虑的信号机仅使用三种速度，并且只允许合理的速度和初始位置。这些机器中的信号总是被捕获在一个规则的网格中。构造依赖于生成相应的离散网格。证明了结构的合理性，并提供了实验结果。