Some characteristics of the global function of the finite cellular automaton (FCA) are investigated. First, a necessary and sufficient condition for a function from the configuration set to itself to be realized by means of an FCA is given. Next, using these results, the realizability of cycle and tree type transition structures is discussed. Especially, for the system of binary 3-neighbor FCA, the realizability of the maximal cycle length and the bijectivity of the global function are investigated. For the system of FCA, each passive configuration set is defined. An algorithm to obtain the spectrum of a passive configuration set is also discussed. In addition, some examples on the spectrum for the system of binary 3-neighbor FCA are demonstrated.
[1]
Hidenosuke Nishio,et al.
Some regular state sets in the system of one-dimensional iterative automata
,
1973,
Inf. Sci..
[2]
I. N. Sneddon,et al.
Theory Of Automata
,
1969
.
[3]
John von Neumann,et al.
Theory Of Self Reproducing Automata
,
1967
.
[4]
Eric G. Wagner.
On Connecting Modules Together Uniformly to Form a Modular Computer
,
1966,
IEEE Trans. Electron. Comput..
[5]
J. Robert Jump,et al.
On the Interconnection Structure of Cellular Networks
,
1974,
Inf. Control..
[6]
Serafino Amoroso,et al.
Structural and Behavioral Equivalences of Tessellation Automata
,
1971,
Inf. Control..