2
FEBRUARY 2019
The usage of this PDF file must comply with the IEICE Provisions
on Copyright.
The author(s) can distribute this PDF file for research and
educational (nonprofit) purposes only.
Distribution by anyone other than the author(s) is prohibited.
IEICE TRANS. FUNDAMENTALS, VOL.E102–A, NO.2 FEBRUARY 2019
415
PAPER
Specific Properties of the Computation Process by a Turing
Machine on the Game of Life
Shigeru NINAGAWA†a) , Member
SUMMARY The Game of Life, a two-dimensional computationally uni- ior of rule 110 is essentially characterized by 1/ f noise,
versal cellular automaton, is known to exhibits 1/f noise in the evolutions irrespective of the nature of the evolution.
starting from random configurations. In this paper we perform the spectral
The findings mentioned above would make us rashly
analysis on the computation process by a Turing machine constructed on
the array of the Game of Life. As a result, the power spectrum averaged jump to the conclusion that the behavior of CAs with CU al-
over the whole array has almost flat line at low frequencies and a lot of ways accompanies 1/ f noise regardless of its initial configu-
sharp peaks at high frequencies although some regions in which compli- ration. We should notice, however, that the power spectrum
cated behavior such as frequent memory rewriting occurs exhibit 1/f noise. of the computation process on LIFE still remains unknown.
This singular power spectrum is, however, easily turned into 1/f by slightly
deforming the initial configuration of the Turing machine. These results
In this paper we perform the spectral analysis of the compu-
emphasize the peculiarity of the computation process on the Game of Life tation process on the array of LIFE and clarify the difference
that is never shared with the evolutions from random configurations. The between the computation process and the evolution from
Lyapunov exponents have positive values in three out of six trials and zero random configuration in LIFE.
or negative values in other three trails. That means the computation process
This paper is organized as follows. We explain a TM
is essentially chaotic but it has capable of recovering a slight error in the
configuration of the Turing machine. simulated on the array of LIFE in Sect. 2. The results of
key words: Game of Life, computational universality, turing machine, the spectral analysis of the computation process are given in
spectral analysis, Lyapunov exponent Sect. 3. In Sect. 4 we extract the peculiarity of the compu-
tation process of TM on LIFE by means of deforming the
1. Introduction configuration of TM and estimating Lyapunov exponents.
We discuss the meaning of the findings and the future plans
Cellular automaton (CA) is an n-dimensional lattice where in Sect. 5.
a finite automaton called a cell is located at each site. Ev-
ery cell is simultaneously updated according to a transition 2. Turing Machine on LIFE
function. Since CA is considered to be a discrete dynamical
system as well as an information processing system, it is a We denote the state of the cell (x, y) in two-dimensional
suitable framework to investigate the nature of information array at time step t by s x, y (t). The evolution of each cell of
processing from the viewpoint of dynamical systems theory. LIFE is governed by the transition rule,
The Game of Life (LIFE) is a two-dimensional two-
state nine-neighbor (the center and its eight surrounding s x, y (t + 1) = F (s x, y (t), n x, y (t)), (1)
cells) outer totalistic CA and it is known as computation-
where n x, y (t) is the number of the state one cells in the eight
ally universal CA [1]. Computational universality (CU) is
nearest neighboring sites around the cell (x, y) at time step
the capability of executing any algorithms. There are several
t. The transition function F is defined by
systems with CU such as Turing machine (TM), λ calculus,
partial recursive function, register machine, etc. The power F (0, 3) = F (1, 2) = F (1, 3) = 1,
spectrum of the evolution of LIFE starting from random con-
other wise F = 0. (2)
figuration is peculiarly characterized by 1/ f noise [2] that
has the power inversely proportional to the frequency at low The formal definition of a TM is given by the 7-tuple
frequencies. (Q, Σ, Γ, δ, q0, B, F) where Q is the finite set of states, Σ is
Another CA with CU is rule 110 of elementary (one- the finite set of input symbols, Γ (Σ ⊆ Γ)is the finite set
dimensional, two-state and three-neighbor) CA, which can of tape symbols, δ(q, X ) = (p, Y, D), q, p ∈ Q, X, Y ∈ Γ,
emulate cyclic tag system (CTS), a system with CU [3]. D ∈ {L, R} is the transition function, q0 is the start state,
Rule 110 exhibits 1/ f noise both in the evolution with ran- B ∈ Γ is the blank symbol and F ⊆ Q is the set of accepting
dom initial configurations [4] and in the computation process states.
by means of CTS [5]. These results imply that the behav- TM can be emulate on the array of LIFE by placing
some basic components in an appropriate manner. In this
Manuscript received September 26, 2018.
† The paper we deal with a TM constructed on the array of LIFE [6]
author is with Kanazawa Institute of Technology,
Hakusan-shi, 924-0838 Japan. in which Q = {s0, s1, s2, s H }, Σ = {0, 1}, Γ = {0, 1, 2}, q0 =
a) E-mail: ninagawa@neptune.kanazawa-it.ac.jp s0 , B = 0, F = {s H } and the transition function δ is defined
DOI: 10.1587/transfun.E102.A.415 in Table 1. Given 1n, (n ≥ 0) as an initial string on the tape,
Copyright © 2019 The Institute of Electronics, Information and Communication Engineers
IEICE TRANS. FUNDAMENTALS, VOL.E102–A, NO.2 FEBRUARY 2019
416
Fig. 4 Configuration of the memory cells in the finite state machine of the
string doubler Turing machine. The pair of labels (si ,X) of each memory
Fig. 5 Area in which power spectra are calculated (shading area). The
cell means it is evoked in the situation with the current state si and the input
flip operation is performed on the shading area as well.
symbol X.
s x, y (t) for t = 0, 1, · · · , T − 1 is given by The top of Fig. 6 shows a typical example of power
spectrum observed in a section labeled by ‘A’ in Fig. 5. The
1X
T −1
2πt f section ‘A’ is located inside the stack control and almost
ŝ x, y ( f ) = s x, y (t)exp(−i ). (3) always exhibits periodic behavior during the computation
T t=0 T
process. It is characterized by flat power law at low frequen-
We define the power as cies and a lot of sharp peaks. The highest peak at f = 546
is caused by the most frequently used oscillator in the re-
1 X alization of TM called ‘queen bee shuttle’ with period 30
S( f ) = | ŝ x, y ( f )| 2, (4)
N x, y shown in Fig. 7. This kind of power spectrum is widely ob-
served in almost all sections. The middle of Fig. 6 is the
where the summation is taken in N cells in consideration. power spectrum with the least value of β = −0.90 among
The period of the component at a frequency f in a power 143 sections with σ 2 < 0.2. This power spectrum presents
spectrum is given by T/ f . 1/ f characteristic and its evolution is in a section marked
We divide the area in which the configuration of the TM with ‘B’ in Fig. 5. The power spectrum with the second least
spreads into 143 sections with 100 × 100 cells and calculate value of β = −0.67 (the bottom of Fig. 6) is calculated in
the power spectrum of each section to compare the regional a section marked with ‘C’ under the section ‘B’. These two
difference of power spectra. The area employed to calculate sections ‘B’ and ‘C’ are located in a stack cell that is most
the power spectra is shaded in Fig. 5. To calculate the power frequently rewritten during the computation process. These
spectra over the first one step transition of the TM that takes results suggest that complicated behavior such as frequent
about 15, 000 time step evolution on LIFE, we take up the first modification in stack cell accompanies 1/ f noise.
16, 364 time step evolution on LIFE and we set T = 16, 643 Figure 8 shows the power spectrum averaged over 143
in Eq. (3). The power spectrum S( f ) of the behavior in sections. This power spectrum is quite singular in the way
LIFE are often characterized by power law S ∝ f β at low that it has the exponent β = −0.30 at low frequencies and
frequencies. Hence we approximate ln(S) by α + β ln( f ) has a lot of sharp peaks at high frequencies. This spectrum
using least squares fitting and estimate the exponent β and is too flat to be considered 1/ f noise and we call it weak
calculate the residual sum of squares σ 2 defined by power law. These results are attributed to the fact that almost
all sections exhibit periodic behavior with power spectrum
fb
21 X typically shown at the top of Fig. 6, hence the 1/ f noise
σ = (ln(S) − α − β ln( f )) 2 . (5)
f b f =1 observed in only a few sections is diluted by being averaged
over all sections.
to measure the deviation of power spectrum from power law
in the range of frequencies between f = 1 ∼ f b . In this 4. Deformation of the Configuration
research we estimate the exponent β. Most of the power
spectra of the TM have a sharp peak at f = 68 caused by a Spectral analysis revealed that the computation process on
commonly observed oscillator with period 241. To exclude LIFE has the singular power spectrum that is considerably
this peak from the estimation of β and σ 2 by the least squares different from 1/ f noise created by the evolutions starting
fitting, we set f b = 50 in Eq. (5). from random configurations. In this section we study the
IEICE TRANS. FUNDAMENTALS, VOL.E102–A, NO.2 FEBRUARY 2019
418
Fig. 6 Power spectra observed in the section marked ‘A’ (top), ‘B’ (mid-
dle) and ‘C’ (bottom) in Fig. 5. Both x and y axes are plotted on a logarith-
mic scale. The broken line represents the least squares fitting of the power
spectrum from f = 1 to f = 50 by ln S ∝ β ln f with β = −0.04 (top),
β = −0.90 (middle) and β = −0.67 (bottom). Fig. 9 Typical example of the exponent β (left-hand scale) and the resid-
ual sum of squares σ 2 (right-hand scale) as a function of the number of
flips are plotted on a semi-log scale (top) and a linear scale (bottom).
Fig. 10 Power spectra calculated from the evolutions with the number of Fig. 11 Density at each time step during the evolution with the number
flip operations k = 1 (top) and 35,000 (bottom). The broken line represents of flip operations k = 0, 1, 50, 10,000, 20,000 and 35,000 for 16,384 steps
the least square fitting of the power spectrum in the range between f = 1 ∼ (top) and for the first 95 steps (bottom).
50 by S ∝ f β with β = −1.54 (top) and β = −1.42 (bottom).
Fig. 12 Patterns at time step t = 16, 000 evolved from a initial configu- Fig. 13 Patterns at time step t = 0 (top) and 1 (bottom) evolved from the
ration with flip operations of 1 (top) and 50 (bottom) times. initial configuration with flip operations of 20,000 times.
ing in stack cell is accompanied by 1/ f noise. There is a Shigeru Ninagawa received the Ph.D. de-
possibility that regional spectral analysis might be able to gree from Toyama University in 1998. From
detect the active part in computation process on CA like 1998 to 1999, he was an Research Associate in
Meisei University. In 1999, he joined Kanazawa
neuroimaging used in neuroscience. Institute of Technology, where he was a Lecturer
Next, deforming operations were repeatedly exerted to from 1999 to 2002 and an Associate Professor
the configuration of the TM to investigate the change of from 2002 to 2010. Since 2010, he has been a
power spectra. 1/ f -type power spectrum was destroyed as Professor. His research interests include com-
the number of flip operations k varies from zero to one. al- plex systems and natural computing.
though the power spectra do not vary so much in the range
of k between 1 and 35,000. These results, the significantly
different power spectrum and its vulnerability to slight defor-
mations, imply the specific properties involved in the com-
putation process in LIFE.
Finally, we estimated Lyapunov exponents of the of the
computation process in LIFE. They have positive values in
three out of six trials and zero or negative values in other
three trials. This outcome means that the computation pro-
cess on LIFE is essentially chaotic but attractive in some
degrees of freedom. In other words, it has the ability of au-
tomatically recovering a slight error in the configuration. We
are planning to obtain Lyapunov spectrum more extensively
to elucidate the stability of the computation process in LIFE.
This paper is extended from the article presented in
NOLTA 2015 [8].
References
[1] E.R. Berlekamp, J.H. Conway, and R.K. Guy, Winning Ways for Your
Mathematical Plays vol.2, Academic Press, New York, 1982.
[2] S. Ninagawa, M. Yoneda, and S. Hirose, “1/f fluctuation in the “game
of life”,” Physica D, vol.118, no.1-2, pp.49–52, 1998.
[3] M. Cook, “Universality in elementary cellular automata,” Complex
Systems, vol.15, pp.1–40, 2004.
[4] S. Ninagawa, “Power spectral analysis of elementary cellular au-
tomata,” Complex Systems, vol.17, pp.399–411, 2008.
[5] S. Ninagawa and G.J. Martínez, “1/f noise in the computation process
by rule 110,” J. Cellular Automata, vol.12, pp.47–61, 2016.
[6] P. Rendell, “Turing universality of the game of life,” in Collision-
Based Computing, A. Adamatzky, ed., pp.513–539, Springer-Verlag,
London, 2002.
[7] P. Manneville, “Intermittency, self-similarity and 1/f spectrum in dissi-
pative dynamical systems,” J. Physique, vol.41, no.11, pp.1235–1243,
1980.
[8] S. Ninagawa, S. Adachi, and P. Rendell, “Power spectral analysis of
the computation process of turing machine on the game of life,” Proc.
NOLTA 2015, 2015 International symposium on nonlinear theory and
its applications, pp.197–200, 2015.