Experimental finitization of infinite field-based generalized FSSP Solution

Abstract

In a previous work (see [3]) we presented a general scheme to solve the 1D Generalized Firing Squad Synchronization Problem. We designed it in a modular way using the concept of fields (open CA). The solution was not designed as a finite cellular automaton because we needed unbounded integers as states for distance fields, and the recursive nature of the algorithm leaded to a unbounded number of fields. In this paper, we show as claimed, that this approach does lead to a finite cellular automaton. We exhibit a transformation function from infinite to finite states and write a program that generates the associated finite transition table while checking its validity and the conservation of the input-output behavior of the original cellular automaton.