Book on cellular automata (CA) considers such questions as nonconstructible configurations, extremal possibilities of CA, complexity of finite configurations and global transition functions, modeling in CA, decomposition of global transition functions, appendices of CA, etc.

Systems of computer mathematics find more and more broad application in a number of natural, economical and social fields. One of leaders among means of this class undoubtedly is Mathematica system. The book focuses on one important aspect - modular programming supported by Mathematica. Software presented in the book contain a number of rather useful and effective methods of procedural and functional programming in Mathematica system that extend the system software and allow sometimes more efficiently and easily to program the objects for various purposes first of all of system character. The above software essentially dilate the Mathematica functionality and can be useful for programming of many applications above all of system character. The book is provided with freeware package AVZ_Package containing more than 680 procedures, functions, global variables and other program objects. The present book is oriented on a wide enough range of users of systems of the computer mathematics.

Cellular automata are a class of spatially and temporally discrete mathematical systems characterized by local interaction and synchronous dynamical evolution. Introduced by the mathematician John von Neumann in the 1950s as simple models of biological self-reproduction, they are prototypical models for complex systems and processes consisting of a large number of simple, homogeneous, locally interacting components. Cellular automata have been the focus of great attention over the years because of their ability to generate a rich spectrum of very complex patterns of behavior out of sets of relatively simple underlying rules. Moreover, they appear to capture many essential features of complex self-organizing cooperative behavior observed in real systems.This book provides a summary of the basic properties of cellular automata, and explores in depth many important cellular-automata-related research areas, including artificial life, chaos, emergence, fractals, nonlinear dynamics, and self-organization. It also presents a broad review of the speculative proposition that cellular automata may eventually prove to be theoretical harbingers of a fundamentally new information-based, discrete physics. Designed to be accessible at the junior/senior undergraduate level and above, the book will be of interest to all students, researchers, and professionals wanting to learn about order, chaos, and the emergence of complexity. It contains an extensive bibliography and provides a listing of cellular automata resources available on the World Wide Web.

Cellular Automata presents the fundamental principles of homogeneous cellular systems. This book discusses the possibility of biochemical computers with self-reproducing capability. Organized into eight chapters, this book begins with an overview of some theorems dealing with conditions under which universal computation and construction can be exhibited in cellular spaces. This text then presents a design for a machine embedded in a cellular space or a machine that can compute all computable functions and construct a replica of itself in any accessible and sufficiently large region of the space. Other chapters consider simulation of one cellular space by another. This book discusses as well the goal of exhibiting universal computer-constructor. The final chapter deals with the use of a digital computer for research in cellular automata. This book is a valuable resource for computer designers and programmers who want a better understanding of the principles of homogeneous cellular systems. Automata theoreticians and biochemists will also find this book useful.

Are mathematical equations the best way to model nature? For many years it had been assumed that they were. But in the early 1980s, Stephen Wolfram made the radical proposal that one should instead build models that are based directly on simple computer programs. Wolfram made a detailed study of a class of such models known as cellular automata, and discovered a remarkable fact: that even when the underlying rules are very simple, the behaviour they produce can be highly complex, and can mimic many features of what we see in nature. And based on this result, Wolfram began a program of research to develop what he called A Science of Complexity."The results of Wolfram's work found many applications, from the so-called Wolfram Classification central to fields such as artificial life, to new ideas about cryptography and fluid dynamics. This book is a collection of Wolfram's original papers on cellular automata and complexity. Some of these papers are widely known in the scientific community others have never been published before. Together, the papers provide a highly readable account of what has become a major new field of science, with important implications for physics, biology, economics, computer science and many other areas.

In the book we present certain results of the work we have done in the theory of Classical Cellular Automata (CA). At present, these results form an essential constituent of the CA problematics. In particular, we have studied such problems as the nonconstructability problem in the CA, the decomposition problem of global transition functions in the CA, the extremal constructive possibilities, the parallel formal grammars and languages defined by the CA, the complexity of finite configurations and global transition functions in the CA, the modelling problem in classical CA, etc. At present, the CA problematics is a rather well developed independent field of the mathematical cybernetics that has a rather considerable field of various appendices. In addition, with the equal right the CA problematics can be considered as a component of such fields as discrete parallel dynamical systems, discrete mathematics, cybernetics, complex systems and some others. In our viewpoint, the book will represent an indubitable interest for students, post-graduates and persons working for doctor's degree of the appropriate faculties of universities, above all, of naturally scientific level along with teachers in subjects such as mathematical and physical modelling, discrete mathematics, automata theory, computer science, cybernetics, theoretical biology, computer technique, and a lot of others. In recent years, the classical CA models are one of the most promising simulating environments for various highly parallel discrete processes, objects and phenomena admitting reversible dynamics, that is enough important from a physical point of view, in the first place.

In the book we present certain results of the work we have done in the theory of Classical Cellular Automata (CA). At present, these results form an essential constituent of the CA problematics. In particular, we have studied such problems as the nonconstructability problem in the CA, the decomposition problem of global transition functions in the CA, the extremal constructive possibilities, the parallel formal grammars and languages defined by the CA, the complexity of finite configurations and global transition functions in the CA, the modelling problem in classical CA, etc. At present, the CA problematics is a rather well developed independent field of the mathematical cybernetics that has a rather considerable field of various appendices. In addition, with the equal right the CA problematics can be considered as a component of such fields as discrete parallel dynamical systems, discrete mathematics, cybernetics, complex systems and some others. In our viewpoint, the book will represent an indubitable interest for students, post-graduates and persons working for doctor's degree of the appropriate faculties of universities, above all, of naturally scientific level along with teachers in subjects such as mathematical and physical modelling, discrete mathematics, automata theory, computer science, cybernetics, theoretical biology, computer technique, and a lot of others. In recent years, the classical CA models are one of the most promising simulating environments for various highly parallel discrete processes, objects and phenomena admitting reversible dynamics, that is enough important from a physical point of view, in the first place.

The thirty four contributions in this book cover many aspects of contemporary studies on cellular automata and include reviews, research reports, and guides to recent literature and available software. Cellular automata, dynamic systems in which space and time are discrete, are yielding interesting applications in both the physical and natural sciences. The thirty four contributions in this book cover many aspects of contemporary studies on cellular automata and include reviews, research reports, and guides to recent literature and available software. Chapters cover mathematical analysis, the structure of the space of cellular automata, learning rules with specified properties: cellular automata in biology, physics, chemistry, and computation theory; and generalizations of cellular automata in neural nets, Boolean nets, and coupled map lattices.Current work on cellular automata may be viewed as revolving around two central and closely related problems: the forward problem and the inverse problem. The forward problem concerns the description of properties of given cellular automata. Properties considered include reversibility, invariants, criticality, fractal dimension, and computational power. The role of cellular automata in computation theory is seen as a particularly exciting venue for exploring parallel computers as theoretical and practical tools in mathematical physics. The inverse problem, an area of study gaining prominence particularly in the natural sciences, involves designing rules that possess specified properties or perform specified task. A long-term goal is to develop a set of techniques that can find a rule or set of rules that can reproduce quantitative observations of a physical system. Studies of the inverse problem take up the organization and structure of the set of automata, in particular the parameterization of the space of cellular automata. Optimization and learning techniques, like the genetic algorithm and adaptive stochastic cellular automata are applied to find cellular automaton rules that model such physical phenomena as crystal growth or perform such adaptive-learning tasks as balancing an inverted pole.Howard Gutowitz is Collaborateur in the Service de Physique du Solide et Résonance Magnetique, Commissariat a I'Energie Atomique, Saclay, France.

This unique book provides a self-contained exposition of the theory of cellular automata on groups and explores its deep connections with recent developments in geometric and combinatorial group theory, amenability, symbolic dynamics, the algebraic theory of group rings, and other branches of mathematics and theoretical computer science. The topics treated include the Garden of Eden theorem for amenable groups, the Gromov–Weiss surjunctivity theorem, and the solution of the Kaplansky conjecture on the stable finiteness of group rings for sofic groups. Entirely self-contained and now in its second edition, the volume includes 10 appendices and more than 600 exercises, the solutions of which are presented in the companion book Exercises in Cellular Automata and Groups (2023) by the same authors. It will appeal to a large audience, including specialists and newcomers to the field.