摘要 透過將多個站點組合在一起，一個元胞自動機可以轉換為另一個具有更多狀態和更小的鄰域的元胞自動機；如果鄰域只有兩個站點，我們可以將生成的 CA 規則視為二元運算。我們證明，如果阻塞規則滿足廣泛代數類的恆等式，那麼底層規則必須具有本質上相同的結構，並且必須僅依賴其最左邊和最右邊的輸入；粗略地說，塊的變換不能將非線性規則變成線性規則。
透過將多個站點組合在一起，一個元胞自動機可以轉換為另一個具有更多狀態和更小的鄰域的元胞自動機；如果鄰域只有兩個站點，我們可以將生成的 CA 規則視為二元運算。我們證明，如果阻塞規則滿足廣泛代數類的恆等式，那麼底層規則必須具有本質上相同的結構，並且必須僅依賴其最左邊和最右邊的輸入；粗略地說，塊的變換不能將非線性規則變成線性規則。