Issue No.12 - December (1981 vol.30)
Cellular spaces are shown to possess properties favorable to reconfiguration. As a first step in the direction of reconfigurable cellular spaces, this paper demonstrates the implementation of arbitrary finite-state machines in self-diagnosing cellular spaces. The results cover single cell failures caused by erroneous state transitions or by erroneous outputs. One of the attractive features of the implementation is the absence of any hard core components. As an intermediate step, it is shown how to transform any given cellular space into a self-diagnosing cellular space. The results demonstrate that the control structure (which is a finite-state machine) of any computing device can be implemented as a self-diagnosing entity without hard core.
tessellation automata, Decomposition for diagnosability, design for diagnosability, fault detection, finite-state machines
F.G. Gray, R.A. Thompson, "Self-Diagnosing Cellular Implementations of Finite-State Machines", IEEE Transactions on Computers, vol.30, no. 12, pp. 953-959, December 1981, doi:10.1109/TC.1981.1675734