Classifying elementary cellular automata using compressibility, diversity and sensitivity measures

2014 ◽  
Vol 25 (03) ◽  
pp. 1350098 ◽  
Author(s):  
Shigeru Ninagawa ◽  
Andrew Adamatzky
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Initial Conditions ◽  
Morphological Diversity ◽  
Compression Algorithm ◽  
One Dimensional ◽  
Elementary Cellular Automata ◽  
Eca Rules ◽  
Substantial Correlation ◽  
Elementary Cellular Automaton

An elementary cellular automaton (ECA) is a one-dimensional, synchronous, binary automaton, where each cell update depends on its own state and states of its two closest neighbors. We attempt to uncover correlations between the following measures of ECA behavior: compressibility, sensitivity and diversity. The compressibility of ECA configurations is calculated using the Lempel–Ziv (LZ) compression algorithm LZ78. The sensitivity of ECA rules to initial conditions and perturbations is evaluated using Derrida coefficients. The generative morphological diversity shows how many different neighborhood states are produced from a single nonquiescent cell. We found no significant correlation between sensitivity and compressibility. There is a substantial correlation between generative diversity and compressibility. Using sensitivity, compressibility and diversity, we uncover and characterize novel groupings of rules.

Formal Logic of Cellular Automata

2021 ◽  
Vol 30 (2) ◽  
pp. 187-203
Author(s):  
Sukanta Das ◽  
◽  
Mihir K. Chakraborty ◽  
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Formal Logic ◽  
One Dimensional ◽  
Elementary Cellular Automata ◽  
Binary Strings

This paper develops a formal logic, named L CA , targeting modeling of one-dimensional binary cellular automata. We first develop the syntax of L CA , then give semantics to L CA in the domain of all binary strings. Then the elementary cellular automata and four-neighborhood binary cellular automata are shown as models of the logic. These instances point out that there are other models of L CA . Finally it is proved that any one-dimensional binary cellular automaton is a model of the proposed logic.

Elementary cellular automata and self-referential paradoxes

2020 ◽  
Vol 30 (3) ◽  
pp. 745-763
Author(s):  
MING HSIUNG
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Fixed Points ◽  
Evolution Process ◽  
New Classification ◽  
Revision Process ◽  
Elementary Cellular Automata ◽  
Elementary Cellular Automaton

Abstract We associate an elementary cellular automaton with a set of self-referential sentences, whose revision process is exactly the evolution process of that automaton. A simple but useful result of this connection is that a set of self-referential sentences is paradoxical, iff (the evolution process for) the cellular automaton in question has no fixed points. We sort out several distinct kinds of paradoxes by the existence and features of the fixed points of their corresponding automata. They are finite homogeneous paradoxes and infinite homogeneous paradoxes. In some weaker sense, we will also introduce no-no-sort paradoxes and virtual paradoxes. The introduction of these paradoxes, in turn, leads to a new classification of the cellular automata.

scholarly journals Distributed Control of a Manufacturing System with One-Dimensional Cellular Automata

Complexity ◽  
2018 ◽  
Vol 2018 ◽  
pp. 1-15
Author(s):  
Irving Barragan-Vite ◽  
Juan C. Seck-Tuoh-Mora ◽  
Norberto Hernandez-Romero ◽  
Joselito Medina-Marin ◽  
Eva S. Hernandez-Gress
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Distributed Control ◽  
Manufacturing Process ◽  
Manufacturing Systems ◽  
Manufacturing System ◽  
Complex Dynamics ◽  
Initial Conditions ◽  
Global Dynamics ◽  
One Dimensional

We present a distributed control modeling approach for an automated manufacturing system based on the dynamics of one-dimensional cellular automata. This is inspired by the fact that both cellular automata and manufacturing systems are discrete dynamical systems where local interactions given among their elements (resources) can lead to complex dynamics, despite the simple rules governing such interactions. The cellular automaton model developed in this study focuses on two states of the resources of a manufacturing system, namely, busy or idle. However, the interaction among the resources such as whether they are shared at different stages of the manufacturing process determines the global dynamics of the system. A procedure is shown to obtain the local evolution rule of the automaton based on the relationships among the resources and the material flow through the manufacturing process. The resulting distributed control of the manufacturing system appears to be heterarchical, and the evolution of the cellular automaton exhibits a Class II behavior for some given disordered initial conditions.

Automatic Texture Based Classification of the Dynamics of One-Dimensional Binary Cellular Automata

2019 ◽  
Vol 8 (4) ◽  
pp. 41-61
Author(s):  
Marcelo Arbori Nogueira ◽  
Pedro Paulo Balbi de Oliveira
Keyword(s):  
Cellular Automata ◽  
Dynamic Behavior ◽  
Temporal Evolution ◽  
Computational Cost ◽  
Great Variability ◽  
Texture Descriptor ◽  
One Dimensional ◽  
Binary Images ◽  
Elementary Cellular Automata

Cellular automata present great variability in their temporal evolutions due to the number of rules and initial configurations. The possibility of automatically classifying its dynamic behavior would be of great value when studying properties of its dynamics. By counting on elementary cellular automata, and considering its temporal evolution as binary images, the authors created a texture descriptor of the images - based on the neighborhood configurations of the cells in temporal evolutions - so that it could be associated to each dynamic behavior class, following the scheme of Wolfram's classic classification. It was then possible to predict the class of rules of a temporal evolution of an elementary rule in a more effective way than others in the literature in terms of precision and computational cost. By applying the classifier to the larger neighborhood space containing 4 cells, accuracy decreased to just over 70%. However, the classifier is still able to provide some information about the dynamics of an unknown larger space with reduced computational cost.

scholarly journals Characterization of the Evolution of Nonlinear Uniform Cellular Automata in the Light of Deviant States

2011 ◽  
Vol 2011 ◽  
pp. 1-16 ◽  
Author(s):  
Pabitra Pal Choudhury ◽  
Sudhakar Sahoo ◽  
Mithun Chakraborty
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Boolean Functions ◽  
State Transition ◽  
The State ◽  
Transition Diagram ◽  
One Dimensional ◽  
State Transition Diagram ◽  
Linear Rule

Dynamics of a nonlinear cellular automaton (CA) is, in general asymmetric, irregular, and unpredictable as opposed to that of a linear CA, which is highly systematic and tractable, primarily due to the presence of a matrix handle. In this paper, we present a novel technique of studying the properties of the State Transition Diagram of a nonlinear uniform one-dimensional cellular automaton in terms of its deviation from a suggested linear model. We have considered mainly elementary cellular automata with neighborhood of size three, and, in order to facilitate our analysis, we have classified the Boolean functions of three variables on the basis of number and position(s) of bit mismatch with linear rules. The concept of deviant and nondeviant states is introduced, and hence an algorithm is proposed for deducing the State Transition Diagram of a nonlinear CA rule from that of its nearest linear rule. A parameter called the proportion of deviant states is introduced, and its dependence on the length of the CA is studied for a particular class of nonlinear rules.

Languages, equicontinuity and attractors in cellular automata

1997 ◽  
Vol 17 (2) ◽  
pp. 417-433 ◽  
Author(s):  
PETR KŮRKA
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
State Space ◽  
Finite Type ◽  
Measure Zero ◽  
Initial Conditions ◽  
The State ◽  
Subshift Of Finite Type ◽  
Topologically Transitive ◽  
The Third

We consider three related classifications of cellular automata: the first is based on the complexity of languages generated by clopen partitions of the state space, i.e. on the complexity of the factor subshifts; the second is based on the concept of equicontinuity and it is a modification of the classification introduced by Gilman [9]. The third one is based on the concept of attractors and it refines the classification introduced by Hurley [16]. We show relations between these classifications and give examples of cellular automata in the intersection classes. In particular, we show that every positively expansive cellular automaton is conjugate to a one-sided subshift of finite type and that every topologically transitive cellular automaton is sensitive to initial conditions. We also construct a cellular automaton with minimal quasi-attractor, whose basin has measure zero, answering a question raised in Hurley [16].

ON THE STRUCTURE OF REAL-VALUED ONE-DIMENSIONAL CELLULAR AUTOMATA

2011 ◽  
Vol 21 (05) ◽  
pp. 1265-1279 ◽  
Author(s):  
XU XU ◽  
STEPHEN P. BANKS ◽  
MAHDI MAHFOUF
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Fixed Points ◽  
Periodic Solutions ◽  
Cellular Systems ◽  
One Dimensional ◽  
Dynamical Behaviors ◽  
New Type ◽  
Complex Patterns

It is well-known that binary-valued cellular automata, which are defined by simple local rules, have the amazing feature of generating very complex patterns and having complicated dynamical behaviors. In this paper, we present a new type of cellular automaton based on real-valued states which produce an even greater amount of interesting structures such as fractal, chaotic and hypercyclic. We also give proofs to real-valued cellular systems which have fixed points and periodic solutions.

scholarly journals CELLULAR AUTOMATON SUPERCOLLIDERS

2011 ◽  
Vol 22 (04) ◽  
pp. 419-439 ◽  
Author(s):  
GENARO J. MARTÍNEZ ◽  
ANDREW ADAMATZKY ◽  
CHRISTOPHER R. STEPHENS ◽  
ALEJANDRO F. HOEFLICH
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Elastic Collision ◽  
Collective Excitations ◽  
Compact Groups ◽  
Dimensional Torus ◽  
Nonlinear Media ◽  
One Dimensional ◽  
Spatially Extended ◽  
Binary Strings

Gliders in one-dimensional cellular automata are compact groups of non-quiescent and non-ether patterns (ether represents a periodic background) translating along automaton lattice. They are cellular automaton analogous of localizations or quasi-local collective excitations traveling in a spatially extended nonlinear medium. They can be considered as binary strings or symbols traveling along a one-dimensional ring, interacting with each other and changing their states, or symbolic values, as a result of interactions. We analyze what types of interaction occur between gliders traveling on a cellular automaton "cyclotron" and build a catalog of the most common reactions. We demonstrate that collisions between gliders emulate the basic types of interaction that occur between localizations in nonlinear media: fusion, elastic collision, and soliton-like collision. Computational outcomes of a swarm of gliders circling on a one-dimensional torus are analyzed via implementation of cyclic tag systems.

Emergent Structures

2010 ◽  
pp. 83-113
Author(s):  
Eleonora Bilotta ◽  
Pietro Pantano
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Initial Conditions ◽  
Natural Sciences ◽  
Forward Problem ◽  
Second Step ◽  
Large Collection ◽  
Parameter Values

There are two classes of problem in the study of Cellular Automata. The forward. problem is the problem of determining the properties of the system. Solutions often consist of finding quantities that are computable on a rules table and characterizing the behavior of the rule upon repeated iterations, starting from different initial conditions. Solutions to the backwards problem begin with the properties of a system and find a rule or a set of rules which have these properties. This is especially useful in the application of Cellular Automata to the natural sciences, when researchers deal with a large collection of phenomena (Gutowitz, 1989). Another approach is to identify the basic structures of a Cellular Automaton (Adamatzky, 1995). Once these are known it becomes possible to develop specific models for particular systems and to detect general principles applicable to a wide variety of systems (Wolfram, 1984; Lam, 1998). According to Adamatzky, the identification of a system consists of two related steps, namely specification and estimation. In specification we choose a useful and efficient description of the system: perhaps an equation and a set of parameters. The second step involves the estimation of parameter values for the equation: exploiting measures of similarity.

scholarly journals EXPRESSIVENESS OF ELEMENTARY CELLULAR AUTOMATA

2013 ◽  
Vol 24 (03) ◽  
pp. 1350010 ◽  
Author(s):  
MARKUS REDEKER ◽  
ANDREW ADAMATZKY ◽  
GENARO J. MARTÍNEZ
Keyword(s):  
Cellular Automata ◽  
Biological Systems ◽  
Biologically Inspired ◽  
One Dimensional ◽  
Elementary Cellular Automata

We investigate expressiveness, a parameter of one-dimensional cellular automata, in the context of simulated biological systems. The development of elementary cellular automata is interpreted in terms of biological systems, and biologically inspired parameters for biodiversity are applied to the configurations of cellular automata. This paper contains a survey of the Elementary Cellular Automata in terms of their expressiveness and an evaluation whether expressiveness is a meaningful term in the context of simulated biology.

Sign in / Sign up

Export Citation Format

Share Document