DOCSLIB.ORG

Arxiv:2008.13503V1 [Nlin.CG] 31 Aug 2020 Istic Discrete Dynamical Systems Based on Their Asymptotic Computation Time with Increasing Space Size

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2008.13503V1 [Nlin.CG] 31 Aug 2020 Istic Discrete Dynamical Systems Based on Their Asymptotic Computation Time with Increasing Space Size Classification of Complex Systems Based on Transients Barbora Hudcova1;2 and Tomas Mikolov2 1Charles University, Prague 2Czech Institute of Informatics, Robotics and Cybernetics, CTU, Prague Abstract Introducing Cellular Automata Informally, a cellular automaton (CA) can be perceived as In order to develop systems capable of modeling artificial life, a k-dimensional grid consisting of identical finite state au- we need to identify, which systems can produce complex be- tomata. They are all updated synchronously in discrete time havior. We present a novel classification method applicable to steps based on an identical update function depending only any class of deterministic discrete space and time dynamical systems. The method distinguishes between different asymp- on the states of automata in their local neighborhood. A for- totic behaviors of a systems average computation time be- mal definition can be found in Kari (2005). fore entering a loop. When applied to elementary cellular au- CAs were first studied as models of self replicating struc- tomata, we obtain classification results, which correlate very tures (Neumann and Burks (1966), Langton (1984), Reggia well with Wolfram’s manual classification. Further, we use et al. (1993)). Subsequently, they were examined as dynam- it to classify 2D cellular automata to show that our technique can easily be applied to more complex models of computa- ical systems (Hedlund (1969), Vichniac (1984), Gutowitz tion. We believe this classification method can help to de- et al. (1987), Crutchfield and Young (1989)), or as mod- velop systems, in which complex structures emerge. els of computation (Toffoli (1977), Mitchell (1998)). Being so simple to simulate, yet capable of complex behavior and emergent phenomena (Crutchfield and Hanson (1993), Han- son (2009)), CAs provide a convenient tool to examine the Introduction key, yet undefined notions of complexity and emergence. There are many approaches to searching for systems capable Basic Notions of open-ended evolution. One option is to carefully design a model and observe its dynamics. Iconic examples were de- We study the simple class of elementary cellular automata signed by Ray (1991), Ofria and Wilke (2004), or Soros and (ECAs), which are one-dimensional CAs with two states Stanley (2014). However, as we lack any formal definition f0; 1g and neighborhood of size 3. We examine the case of open-endedness or complexity, there is no formal method of a finite cyclic grid of size n 2 N and denote each ECA by n n n of proving the system is indeed ”interesting”. Conversely, the tuple (f0; 1g ;F ) where F : f0; 1g ! f0; 1g is the lacking definitions of such key terms, it seems extremely global update rule. difficult to design such systems systematically. We identify each local rule f determining an ECA with the Wolfram number of the ECA defined as: Approaching the problem of searching for open- endedness bottom up, we define a classification of determin- 20f(0; 0; 0)+21f(0; 0; 1)+22f(0; 1; 0)+:::+27f(1; 1; 1): arXiv:2008.13503v1 [nlin.CG] 31 Aug 2020 istic discrete dynamical systems based on their asymptotic computation time with increasing space size. This method We will refer to each ECA as a ”rule k” where k is the cor- gives a surprisingly clear classification of the toy class of el- responding Wolfram number of its underlying local rule. ementary cellular automata, which seems to correspond well Given an ECA (f0; 1gn;F ) we define the trajectory of a to Wolfram’s established yet informal four types of cellular configuration u 2 f0; 1gn as the sequence automata dynamics. Subsequently, we use the classification to discover two-dimensional automata with emergent behav- (u; F (u);F 2(u);:::): ior. This demonstrates that the transient classification can be used to navigate us towards regions of interesting systems. The space-time diagram of such simulation is obtained by Even though we are far from giving sufficient conditions for plotting the configurations as a horizontal rows of black and complexity, we hope this method helps us understand, which white squares (corresponding to states 1 and 0) with vertical formally defined properties correlate with it. axis determining the time, which is progressing downwards. n As the set of all grid configurations f0; 1g is finite, ev- 0 10 20 30 40 0 10 20 30 40 0 0 ery trajectory (u0; u1 = F (u0); u2 = F (u1);:::) even- 5 5 tually becomes periodic. We call the preperiod of this se- 10 10 15 15 quence the transient of initial configuration u and denote its 20 20 length by t . More formally, we define t to be the small- 25 25 u u 30 30 est positive integer i, for which there exist j 2 N, j > i, 35 35 such that F i(u) = F j(u). The periodic part of the se- 40 40 0 50 100 150 200 0 50 100 150 200 quence is called an attractor. The phase space of an ECA 0 0 (f0; 1gn;F ) is a graph with vertices V = f0; 1gn and edges 50 50 E = f(u; F (u)); u 2 f0; 1gng. Such a graph is composed of components each containing one attractor and multiple 100 100 transient paths leading to the attractor. The phase space 150 150 completely characterizes the dynamics of the system, it is 200 200 however infeasible to describe it for large n. We note that properties of CA phase spaces were exam- Figure 1: Space-time diagrams of rules from each Wolfram’s ined among others by Wuensche and Lesser (2001). Pre- class. Class 1 rule 32 is on top left, Class 2 rule 108 on top cisely for this purpose, a software was designed by Wuen- right. Both are simulated for 40 time steps on a grid of size sche (2016). 50. At the bottom row we have Class 4 rule 110 on the left Cellular Automata Classifications and Class 3 rule 30 on the right. The two are simulated for 200 steps on a grid of size 250. Even though there are many interesting definitions of com- plexity (Chaitin (1966), Bennett (1988), McShea (1996)), 0 20 40 60 80 0 20 40 60 80 none of them seems to be perfectly suitable for studying 0 0 complex systems. A crucial result helping us understand the 10 10 20 20 notion of complexity in the context of dynamical systems 30 30 would be a suitable classification of CAs, which would nav- 40 40 igate us toward a region of CAs with complex behavior. An 50 50 ideal classification would be based on a rigorously defined 60 60 70 70 and easily measurable property. 80 80 In this section we describe three qualitatively different classifications of ECAs and subsequently, we will compare Figure 2: On the left, rule 126 is simulated with an initial our results to them. condition consisting of a single 1 bit padded with 0’s. On Wolfram’s Classification the right, the same rule is simulated with a random initial configuration. The most intuitive and simple approach to examining the dy- namics of CAs is to observe their space-time diagrams. This method was particularly proclaimed by Wolfram (2002). Zenil’s Classification Therein, he established an informal classification of CA dy- namics based on such diagrams. He distinguishes the fol- Zenil (2009) studied the compression size of the space-time lowing classes, which are shown in Figure 1. diagrams of each ECA simulated for a fixed amount of steps. Using a clustering technique, he obtained two classes Class 1 ::: quickly resolves to a homogenous state roughly distinguishing between Wolfram’s simple classes 1 and 2 and complex classes 3 and 4. We show our reproduc- Class 2 ::: exhibits simple periodic behavior tion of Zenil’s results in Figure 3. Class 3 ::: exhibits chaotic or random behavior His method nicely formalizes Wolfram’s observations of Class 4 ::: produces localized structures that interact the space-time diagrams. However, the results depend on the with each other in complicated ways choice of initial conditions as well as the grid size, data rep- resentation, and the compression algorithm. We conducted The main issue is that we have no formal method of classi- multiple experiments presented in Figure 4, which show that fying CAs in this way. Moreover, the behavior of some CAs Zenil’s results are very sensitive to the choice of such param- can vary with different initial configurations. An example eters. being rule 126, which oscillates between Class 2 and Class In vast CA spaces, where it is not feasible to examine ev- 3 behavior, as shown in Figure 2. The transient classification ery CA and mark it into one of Wolfram’s classes by hand, we present in this paper deals with both these issues. it would not be clear how the parameter values should be a given CA and a grid size n, we randomly sample initial 10000 configurations u 2 f0; 1gn and estimate the average tran- 8000 1 P sient length µn = 2n u2f0;1gn tu. Using regression, we 6000 1 estimate the asymptotic growth of the sequence (µn)n=1. 4000 Below, we motivate the study of this property. 2000 Compressed size in bytes In non-classical models of compuation (Stepney (2012)), 0 0 50 100 150 200 250 the process of traversing CA’s transients can be perceived as ECA Rules the process of self-organization, in which information can be aggregated in an irreversible manner. The attractors are Figure 3: Reproduction of Zenil’s results (Zenil (2009)). then viewed as memory storage units, from which the infor- The purple cluster corresponds to the interesting Class 3 and mation about the output can be extracted.
Load more

Recommended publications
  • On Soliton Collisions Between Localizations in Complex ECA: Rules 54 and 110 and Beyond
    On soliton collisions between localizations in complex ECA: Rules 54 and 110 and beyond Genaro J. Mart´ınez Departamento de Ciencias e Ingenier´ıade la Computaci´on, Escuela Superior de C´omputo,Instituto Polit´ecnico Nacional, M´exico Unconventional Computing Center, Computer Science Department, University of the West of England, Bristol BS16 1QY, United Kingdom genaro. martinez@ uwe. ac. uk Andrew Adamatzky Unconventional Computing Center, Computer Science Department, University of the West of England, Bristol BS16 1QY, United Kingdom andrew. adamatzky@ uwe. ac. uk Fangyue Chen School of Sciences, Hangzhou Dianzi University Hangzhou, Zhejiang 310018, P. R. China fychen@ hdu. edu. cn Leon Chua Electrical Engineering and Computer Sciences Department University of California at Berkeley, California, United States of America chua@ eecs. berkeley. edu In this paper we present a single-soliton two-component cellular au- tomata (CA) model of waves as mobile self-localizations, also known as: particles, waves, or gliders; and its version with memory. The model is based on coding sets of strings where each chain represents a unique mobile self-localization. We will discuss briefly the original soli- ton models in CA proposed with filter automata, followed by solutions in elementary CA (ECA) domain with the famous universal ECA Rule 110, and reporting a number of new solitonic collisions in ECA Rule 54. A mobile self-localization in this study is equivalent a single soliton because the collisions of these mobile self-localizations studied in this paper satisfies the property of solitonic collisions. We also present a arXiv:1301.6258v1 [nlin.CG] 26 Jan 2013 specific ECA with memory (ECAM), the ECAM Rule φR9maj:4, that displays single-soliton solutions from any initial codification (including random initial conditions) for a kind of mobile self-localization because such automaton is able to adjust any initial condition to soliton struc- tures.
    [Show full text]
  • Modeling Self-Organizing Traffic Lights with Elementary Cellular Automata
    Modeling self-organizing traffic lights with elementary cellular automata Carlos Gershenson1;2;3 and David A. Rosenblueth1;2 1 Instituto de Investigaciones en Matem´aticasAplicadas y en Sistemas Universidad Nacional Aut´onomade M´exico Ciudad Universitaria Apdo. Postal 20-726 01000 M´exicoD.F. M´exico Tel. +52 55 56 22 36 19 Fax +52 55 56 22 36 20 [email protected] http://turing.iimas.unam.mx/∼cgg [email protected] http://leibniz.iimas.unam.mx/∼drosenbl/ 2 Centro de Ciencias de la Complejidad Universidad Nacional Aut´onomade M´exico 3Centrum Leo Apostel, Vrije Universiteit Brussel Krijgskundestraat 33 B-1160 Brussel, Belgium July 10, 2009 Abstract There have been several highway traffic models proposed based on cellular au- tomata. The simplest one is elementary cellular automaton rule 184. We extend this model to city traffic with cellular automata coupled at intersections using only rules 184, 252, and 136. The simplicity of the model offers a clear understanding of the main properties of city traffic and its phase transitions. We use the proposed model to compare two methods for coordinating traffic lights: arXiv:0907.1925v1 [nlin.CG] 10 Jul 2009 a green-wave method that tries to optimize phases according to expected flows and a self-organizing method that adapts to the current traffic conditions. The self-organizing method delivers considerable improvements over the green-wave method. For low den- sities, the self-organizing method promotes the formation and coordination of platoons that flow freely in four directions, i.e. with a maximum velocity and no stops. For medium densities, the method allows a constant usage of the intersections, exploiting their maximum flux capacity.
    [Show full text]
  • Apparent Entropy of Cellular Automata
    Apparent Entropy of Cellular Automata Bruno Martin Laboratoire d’Informatique et du Parallelisme,´ Ecole´ Normale Superieure´ de Lyon, 46, allee´ d’Italie, 69364 Lyon Cedex 07, France We introduce the notion of apparent entropy on cellular automata that points out how complex some configurations of the space-time diagram may appear to the human eye. We then study, theoretically, if possible, but mainly experimentally through natural examples, the relations between this notion, Wolfram’s intuition, and almost everywhere sensitivity to initial conditions. Introduction A radius-r one-dimensional cellular automaton (CA) is an infinite se- quence of identical finite-state machines (indexed by Ÿ) called cells. Each finite-state machine is in a state and these states change simultane- ously according to a local transition function: the following state of the machine is related to its own state as well as the states of its 2r neigh- bors. A configuration of an automaton is the function which associates to each cell a state. We can thus define a global transition function from the set of all the configurations to itself which associates the following configuration after one step of computation. Recently, a lot of articles proposed classifications of CAs [5, 8, 13] but the canonical reference is still Wolfram’s empirical classification [14] which has resisted numerous attempts of formalization. Among the lat- est attempts, some are based on the mathematical definitions of chaos for dynamical systems adapted to CAs thanks to Besicovitch topol- ogy [2, 6] and [11] introduces the almost everywhere sensitivity to initial conditions for this topology and compares this notion with information propagation formalization.
    [Show full text]
  • Investigation of Elementary Cellular Automata for Reservoir Computing
    Investigation of Elementary Cellular Automata for Reservoir Computing Emil Taylor Bye Master of Science in Computer Science Submission date: June 2016 Supervisor: Stefano Nichele, IDI Norwegian University of Science and Technology Department of Computer and Information Science Summary Reservoir computing is an approach to machine learning. Typical reservoir computing approaches use large, untrained artificial neural networks to transform an input signal. To produce the desired output, a readout layer is trained using linear regression on the neural network. Recently, several attempts have been made using other kinds of dynamic systems in- stead of artificial neural networks. Cellular automata are an example of a dynamic system that has been proposed as a replacement. This thesis attempts to discover whether cellular automata are a viable candidate for use in reservoir computing. Four different tasks solved by other reservoir computing sys- tems are attempted with elementary cellular automata, a limited subset of all possible cellular automata. The effect of changing different properties of the cellular automata are investigated, and the results are compared with the results when performing the same experiments with typical reservoir computing systems. Reservoir computing seems like a potentially very interesting utilization of cellular automata. However, it is evident that more research into this field is necessary to reach performance comparable to existing reservoir computing systems. i ii Acknowledgements I would like to express my very great appreciation to my supervisor, Dr. Stefano Nichele. His insights, guidance and encouragement has proven invaluable and vital to the comple- tion of this thesis. I would also like to offer my special thanks to Solveig Isabel Taylor, who apart from being an excellent proofreader, also did a marvelous job at helping me search for literature.
    [Show full text]
  • Arxiv:1607.02291V3 [Cs.FL] 8 May 2018
    Noname manuscript No. (will be inserted by the editor) A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications (Draft version) Kamalika Bhattacharjee · Nazma Naskar · Souvik Roy · Sukanta Das Received: date / Accepted: date Abstract Cellular automata (CAs) are dynamical systems which exhibit complex global be- havior from simple local interaction and computation. Since the inception of cellular au- tomaton (CA) by von Neumann in 1950s, it has attracted the attention of several researchers over various backgrounds and fields for modelling different physical, natural as well as real- life phenomena. Classically, CAs are uniform. However, non-uniformity has also been in- troduced in update pattern, lattice structure, neighborhood dependency and local rule. In this survey, we tour to the various types of CAs introduced till date, the different characteriza- tion tools, the global behaviors of CAs, like universality, reversibility, dynamics etc. Special attention is given to non-uniformity in CAs and especially to non-uniform elementary CAs, which have been very useful in solving several real-life problems. Keywords Cellular Automata (CAs) · Types · Characterization tools · Dynamics · Non-uniformity · Technology Mathematics Subject Classification (2010) 68Q80 · 37B15 1 Introduction From the end of the first half of 20th century, a new approach has started to come in scien- tific studies, which after questioning the so called Cartesian analytical approach, says that interconnections among the elements of a system, be it physical, biological, artificial or any other, greatly effect the behavior of the system. In fact, according to this approach, knowing the parts of a system, one can not properly understand the system as a whole.
    [Show full text]
  • Universality in Elementary Cellular Automata
    Universality in Elementary Cellular Automata Matthew Cook Department of Computation and Neural Systems,! Caltech, Mail Stop 136-93, Pasadena, California 91125, USA The purpose of this paper is to prove a conjecture made by Stephen Wolfram in 1985, that an elementary one dimensional cellular automaton known as “Rule 110” is capable of universal computation. I developed this proof of his conjecture while assisting Stephen Wolfram on research for A New Kind of Science [1]. 1. Overview The purpose of this paper is to prove that one of the simplest one di- mensional cellular automata is computationally universal, implying that many questions concerning its behavior, such as whether a particular se- quence of bits will occur, or whether the behavior will become periodic, are formally undecidable. The cellular automaton we will prove this for is known as “Rule 110” according to Wolfram’s numbering scheme [2]. Being a one dimensional cellular automaton, it consists of an infinitely long row of cells "Ci # i $ !%. Each cell is in one of the two states "0, 1%, and at each discrete time step every cell synchronously updates ' itself according to the value of itself and its nearest neighbors: &i, Ci ( F(Ci)1, Ci, Ci*1), where F is the following function: F(0, 0, 0) ( 0 F(0, 0, 1) ( 1 F(0, 1, 0) ( 1 F(0, 1, 1) ( 1 F(1, 0, 0) ( 0 F(1, 0, 1) ( 1 F(1, 1, 0) ( 1 F(1, 1, 1) ( 0 This F encodes the idea that a cell in state 0 should change to state 1 exactly when the cell to its right is in state 1, and that a cell in state 1 should change to state 0 just when the cells on both sides are in state 1.
    [Show full text]
  • Abstract Collection of the 2017 International Symposium on Nonlinear Theory and Its Applications (NOLTA2017)
    Abstract Collection of the 2017 International Symposium on Nonlinear Theory and its Applications (NOLTA2017) Cancun International Convention Center, Cancun,´ Mexico December 4–7, 2017. Abstract Collection of NOLTA2017 ⃝C IEICE Japan 2017 Typesetting: Data conversion by the authors. Final processing by T. Tsubone and W. Kurebayashi with LATEX. Printed in Japan 2 Contents Welcome Message from the General Chairs . 6 Technical Program Chair’s Message . 7 Organizing Committee . 8 Technical Program Committee . 9 Advisory Committee . 10 NOLTA Steering Committee . 11 Special Session Organizers . 12 Symposium Information . 14 Symposium Venue . 14 Social Events . 14 Session at a Glance . 16 Abstracts 19 A0L-A Plenary Talk 1 . 19 A1L-A Theory and Learning Applications of Koopman Operator Formalism . 19 A1L-B Systems Theory and its Applications . 20 A1L-C Complex systems, complex networks and bigdata analyses . 21 A1L-D Advanced Theory and Applications Related to Communication Quality . 23 A1L-E Neuromorphic Systems and Electronic Devices 1 . 24 A2L-A Network Function for Physically and Logically Coupled System . 25 A2L-B Circuits and Systems / Analog and digital devices . 26 A2L-C Neural Networks / Biological Engineering . 27 A2L-D Complex Communication Sciences 1 . 28 A2L-E Neuromorphic Systems and Electronic Devices 2 . 29 A3L-A Radio and Optical Wireless Communications 1 . 30 A3L-B Complex Networks and Systems / Image and Signal Processing . 32 A3L-C Laser Dynamics and Complex Photonics 1 . 34 A3L-D-1 Complex Communication Sciences 2 . 35 A3L-D-2 Complex Networks and Systems / Image and Signal Processing . 36 A3L-E-1 Neuromorphic Systems and Electronic Devices 3 . 37 A3L-E-2 Machine Learning / Evolutionary computations .
    [Show full text]
  • Lecture P4: Cellular Automata Arrays Allow Manipulation of Potentially Huge Amounts of Data
    Array Review Lecture P4: Cellular Automata Arrays allow manipulation of potentially huge amounts of data. ■ All elements of the same type. – double, int ■ N-element array has elements indexed 0 through N-1. ■ Fast access to arbitrary element. – a[i] ■ Waste of space if array is "sparse." Reaction diffusion textures. Andy Witkin and Michael Kass Princeton University • COS 126 • General Computer Science • Fall 2002 • http://www.Princeton.EDU/~cs126 2 Cellular Automata Applications of Cellular Automata Cellular automata. (singular = cellular automaton) Modern applications. ■ Computer simulations that try to emulate laws of nature. ■ Simulations of biology, chemistry, physics. ■ Simple rules can generate complex patterns. – ferromagnetism according to Ising mode – forest fire propagation – nonlinear chemical reaction-diffusion systems – turbulent flow John von Neumann. (Princeton IAS, 1950s) – biological pigmentation patterns ■ Wanted to create and simulate artificial – breaking of materials life on a machine. – growth of crystals ■ Self-replication. – growth of plants and animals ■ ■ "As simple as possible, but no simpler." Image processing. ■ Computer graphics. ■ Design of massively parallel hardware. ■ Art. 3 4 How Did the Zebra Get Its Stripes? One Dimensional Cellular Automata 1-D cellular automata. ■ Sequence of cells. ■ Each cell is either black (alive) or white (dead). ■ In each time step, update status of each cell, depending on color of nearby cells from previous time step. Example rule. Make cell black at time t if at least one of its proper neighbors was black at time t-1. time 0 time 1 time 2 Synthetic zebra. Greg Turk 5 6 Cellular Automata: Designing the Code Cellular Automata: The Code How to store the row of cells.
    [Show full text]
  • Elementary Cellular Automaton Calculus and Analysis Interactive Entries > Interactive Demonstrations >
    Search MathWorld Algebra Applied Mathematics Discrete Mathematics > Cellular Automata > Recreational Mathematics > Mathematical Art > Mathematical Images > elementary cellular automaton Calculus and Analysis Interactive Entries > Interactive Demonstrations > Discrete Mathematics THINGS TO TRY: Foundations of Mathematics Elementary Cellular Automaton elementary cellular automaton 39th prime Geometry do the algebraic units contain History and Terminology Sqrt[2]+Sqrt[3]? Number Theory Probability and Statistics Recreational Mathematics The simplest class of one-dimensional cellular automata. Elementary cellular automata have two possible values for each cell (0 or 1), and rules that depend only on nearest neighbor values. As a result, the evolution of an elementary Topology cellular automaton can completely be described by a table specifying the state a given cell will have in the next A Strategy for generation based on the value of the cell to its left, the value the cell itself, and the value of the cell to its right. Since Exploring k=2, r=2 Alphabetical Index there are possible binary states for the three cells neighboring a given cell, there are a total of Cellular Automata John Kiehl Interactive Entries elementary cellular automata, each of which can be indexed with an 8-bit binary number (Wolfram 1983, Random Entry 2002). For example, the table giving the evolution of rule 30 ( ) is illustrated above. In this diagram, Dynamics of an the possible values of the three neighboring cells are shown in the top row of each panel, and the resulting value the Elementary Cellular New in MathWorld central cell takes in the next generation is shown below in the center. generations of elementary cellular automaton Automaton rule are implemented as CellularAutomaton[r, 1 , 0 , n].
    [Show full text]
  • Global Properties of Cellular Automata
    Global properties of cellular automata Edward Jack Powley Submitted for the qualification of PhD University of York Department of Computer Science October 2009 Abstract A cellular automaton (CA) is a discrete dynamical system, composed of a large number of simple, identical, uniformly interconnected components. CAs were introduced by John von Neumann in the 1950s, and have since been studied extensively both as models of real-world systems and in their own right as abstract mathematical and computational systems. CAs can exhibit emergent behaviour of varying types, including universal computation. As is often the case with emergent behaviour, predicting the behaviour from the specification of the system is a nontrivial task. This thesis explores some properties of CAs, and studies the correlations between these properties and the qualitative behaviour of the CA. The properties studied in this thesis are properties of the global state space of the CA as a dynamical system. These include degree of symmetry, numbers of preimages (convergence of trajectories), and distances between successive states on trajectories. While we do not obtain a complete classifi- cation of CAs according to their qualitative behaviour, we argue that these types of global properties are a better indicator than other, more local, properties. 3 Contents Chapter 1. Introduction 11 Part 1. Literature review 15 Chapter 2. Cellular automata 17 2.1. Definition and dynamics 17 2.2. Example: Conway's Game of Life 19 2.3. 1-dimensional CAs and elementary CAs 21 2.4. Essentially different rules 23 2.5. Classification 26 2.6. Speed of propagation 29 2.7.
    [Show full text]
  • 5 Cellular Automata Models
    5 Cellular automata models Cellular automata (CA) models epitomize the idea that simple rules can generate complex patterns. A CA consists of an array of cells each with an integer 'state'. On each time step a local update rule is applied to the cells. The update rule defines how the a particular cell will update its state as a funcion of its neighbours state. The CA is run over time and the evolution of the state is observed. 5.1 Elementary cellular automata The elementary one dimensional CA is defined by how three cells influence a single cell. For example, The rules can be expressed in binary form where a 0 represents that a par- ticular configuration gives a white output and a 1 denotes a black output. For example, the above rule in binary is 00011110. Converting this binary number to base-10, we call this rule 30. We thus have a set of different rules for elementary cellular automata from 0 up to 255. 21 Although the rule itself is simple, the output of rule 30 is somewhat compli- cated. 22 23 Elementary CA simulators are easily found on the internet. In the lecture, I will demonstrate one of these written in NetLogo (http://ccl.northwestern.edu/netlogo/). We will look at rules 254, 250, 150, 90, 110, 30 and 193 in this simulator. Some of these rules produce simple repetitive patterns, others produce pe- riodic patterns, while some produce complicated patterns. Rule 30 is of special interest because it is chaotic. This rule is used as the random number generator used for large integers in Mathematica.
    [Show full text]
  • Wolfram's Classification and Computation in Cellular Automata
    Wolfram's Classification and Computation in Cellular Automata Classes III and IV Genaro J. Mart´ınez1, Juan C. Seck-Tuoh-Mora2, and Hector Zenil3 1 Unconventional Computing Center, Bristol Institute of Technology, University of the West of England, Bristol, UK. Departamento de Ciencias e Ingenier´ıade la Computaci´on,Escuela Superior de C´omputo,Instituto Polit´ecnicoNacional, M´exico. [email protected] 2 Centro de Investigaci´onAvanzada en Ingenier´ıaIndustrial Universidad Aut´onomadel Estado de Hidalgo, M´exico. [email protected] 3 Behavioural and Evolutionary Theory Lab Department of Computer Science, University of Sheffield, UK. [email protected] Abstract We conduct a brief survey on Wolfram's classification, in particular related to the computing capabilities of Cellular Automata (CA) in Wol- fram's classes III and IV. We formulate and shed light on the question of whether Class III systems are capable of Turing universality or may turn out to be \too hot" in practice to be controlled and programmed. We show that systems in Class III are indeed capable of computation and that there is no reason to believe that they are unable, in principle, to reach Turing-completness. Keywords: cellular automata, universality, unconventional computing, complexity, gliders, attractors, Mean field theory, information theory, compressibility. arXiv:1208.2456v2 [nlin.CG] 29 Aug 2012 1 Wolfram's classification of Cellular Automata A comment in Wolfram's A New Kind of Science gestures toward the first dif- ficult problem we will tackle (ANKOS) (page 235): trying to predict detailed properties of a particular cellular automaton, it was often enough just to know what class the cellular automaton was in.
    [Show full text]