Automata Books

Cellular Automata Machines: A New Environment for Modeling (Scientific Computation)

Tommaso Toffoli, Norman Margolus

Amazon Price: $50.40 List Price: $70.00 Usually ships in 24 hours By: The MIT Press Amazon Marketplace: 27 new & used starting at $12.95

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General

Customer Reviews:
Total reviews: 5 Average rating: 4.0 of 5

Editorial Review:

Recently, cellular automata machines with the size, speed, and flexibility for general experimentation at a moderate cost have become available to the scientific community. These machines provide a laboratory in which the ideas presented in this book can be tested and applied to the synthesis of a great variety of systems. Computer scientists and researchers interested in modeling and simulation as well as other scientists who do mathematical modeling will find this introduction to cellular automata and cellular automata machines (CAM) both useful and timely.

Cellular automata are the computer scientist's counterpart to the physicist's concept of 'field' They provide natural models for many investigations in physics, combinatorial mathematics, and computer science that deal with systems extended in space and evolving in time according to local laws. A cellular automata machine is a computer optimized for the simulation of cellular automata. Its dedicated architecture allows it to run thousands of times faster than a general-purpose computer of comparable cost programmed to do the same task. In practical terms this permits intensive interactive experimentation and opens up new fields of research in distributed dynamics, including practical applications involving parallel computation and image processing.

Contents: Introduction. Cellular Automata. The CAM Environment. A Live Demo. The Rules of the Game. Our First rules. Second-order Dynamics. The Laboratory. Neighbors and Neighborhood. Running. Particle Motion. The Margolus Neighborhood. Noisy Neighbors. Display and Analysis. Physical Modeling. Reversibility. Computing Machinery. Hydrodynamics. Statistical Mechanics. Other Applications. Imaging Processing. Rotations. Pattern Recognition. Multiple CAMS. Perspectives and Conclusions.

Tommaso Toffoli and Norman Margolus are researchers at the Laboratory for Computer Science at MIT. Cellular Automata Machines is included in the Scientific Computation Series, edited by Dennis Cannon.

A Second Course in Formal Languages and Automata Theory

Jeffrey Shallit

Amazon Price: $48.00 List Price: $60.00 Usually ships in 24 hours By: Cambridge University Press Amazon Marketplace: 22 new & used starting at $29.98

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Theory of Computing

Editorial Review:

Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes. Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method, are covered here. The author places particular emphasis on the resources needed to represent certain languages. The book also includes a diverse collection of more than 200 exercises, suggestions for term projects, and research problems that remain open.

A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science)

Alan P. Parkes

Amazon Price: $29.95 List Price: $29.95 Usually ships in 24 hours By: Springer Amazon Marketplace: 35 new & used starting at $15.77

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Human Vision & Language Systems

Editorial Review:

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science. The author follows the successful formula of his first book on this subject, this time making these core computing topics more fundamental and providing an excellent foundation for undergraduates.

The book is divided into two parts, Languages and Machines and Machines and Computation. The first part is concerned with formal language theory, as it applies to Computer Science, whereas Part 2 considers the computational properties of the machines in more detail. This text is deliberately non-mathematical and, wherever possible, links theory to practical considerations, in particular the implications for programming, computation and problem solving. Written in an informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.

Features:

• Clear explanations of formal notation and jargon

• Extensive use of examples to illustrate algorithms and proofs

• Pictorial representations of key concepts

• Chapter-opening overviews providing an introduction and guidance to each topic

• An introductory chapter supplies the reader with a solid overview

• End-of-chapter exercises and solutions

This reader-friendly textbook has been written with undergraduates in mind and will be suitable for use on courses covering formal languages, computability, automata theory and computational linguistics. It will also make an excellent supplementary text for courses on algorithm complexity and compilers.

Cellular Automata: Theory and Experiment (Special Issues of Physica D)

List Price: $52.00 By: The MIT Press Amazon Marketplace: 16 new & used starting at $5.22

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Professional & Technical -> Professional Science -> Mathematics -> Chaos & Systems
Subjects -> Professional & Technical -> Professional Science -> Mathematics -> Pure Mathematics -> Logic

Customer Reviews:
Total reviews: 1 Average rating: 5.0 of 5

Editorial Review:

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.

Semirings, Automata, Languages (Eatcs Monographs on Theoretical Computer Science, Vol 5)

W. Kuich

List Price: $116.00 By: Springer Amazon Marketplace: 7 new & used starting at $43.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Professional & Technical -> Professional Science -> Mathematics -> Pure Mathematics -> Logic
Subjects -> Professional & Technical -> Professional Science -> Mathematics -> General AAS

Cellular Automaton Modeling of Biological Pattern Formation

Andreas Deutsch, Sabine Dormann

Amazon Price: $89.95 List Price: $89.95 Usually ships in 24 hours By: Birkhäuser Boston Amazon Marketplace: 34 new & used starting at $49.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics
Subjects -> Computers & Internet -> General

Editorial Review:

This book focuses on a challenging application field of cellular automata--pattern formation in biological systems, such as the growth of microorganisms, dynamics of cellular tissue and tumors, and formation of pigment cell patterns. These phenomena, resulting from complex cellular interactions, cannot be deduced solely from experimental analysis, but can be more easily examined using mathematical models, in particular, cellular automaton models.

While there are various books treating cellular automaton modeling, this interdisciplinary work is the first one covering biological applications. The book is divided into three parts: Part I deals with general principles, theories, and models of pattern formation; Part II examines cellular automaton modeling; and Part III explains various applications. The models and analytic techniques described may be extended to other exciting applications in biology, medicine, and immunology.

* Self-contained presentation is accessible to a broad audience; only basic calculus and linear algebra are required

* Careful balance of theory, models, and applications useful to both experimentalists and theoreticians

* Includes suggestions for further research topics

The book is aimed at researchers, practitioners, and students in applied mathematics, mathematical biology, computational physics, bioengineering, and computer science interested in a cellular automaton approach to biological modeling. The book's accessible presentation and interdisciplinary approach make it suitable for graduate and advanced undergraduate courses and seminars in mathematical biology, biomodeling, and biocomputing.

Automated Reasoning and Its Applications: Essays in Honor of Larry Wos

Amazon Price: $38.89 List Price: $48.00 In stock soon. Order now to get in line. First come, first served. By: The MIT Press Amazon Marketplace: 20 new & used starting at $4.04

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Expert Systems
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Machine Learning

Customer Reviews:
Total reviews: 1 Average rating: 4.0 of 5

Editorial Review:

The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applications were written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming the "culture" of automated reasoning at Argonne National Laboratory. He and his colleagues consistently seek to build systems that search huge spaces for solutions to difficult problems and proofs of significant theorems. They have had numerous notable successes.

The contributors are among the world's leading researchers in automated reasoning. Their essays cover the theory, software system design, and use of these systems to solve real problems.

Contributors: Robert S. Boyer, Shang-Ching Chou, Xiao-Shan Gao, Lawrence Henschen, Deepak Kapur, Kenneth Kunen, Ewing Lusk, William McCune, J Strother Moore, Ross Overbeek, Lawrence C. Paulson, Hantao Zhang, Jing-Zhong Zhang.

Evolution of Parallel Cellular Machines: The Cellular Programming Approach (Lecture Notes in Computer Science)

Moshe Sipper

Amazon Price: $49.95 List Price: $49.95 Usually ships in 24 hours By: Springer Amazon Marketplace: 28 new & used starting at $16.50

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Artificial Life
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics

Editorial Review:

Collective systems, abounding in nature, have evolved by natural selection to exhibit striking problem-solving capacities. Employing simple yet versatile parallel cellular models, coupled with evolutionary computation techniques, this volume explores the issue of constructing man-made systems that exhibit characteristics like those occuring in nature. Parallel cellular machines hold potential both scientifically, as vehicles for studying phenomena of interest in areas such as complex adaptive systems and artificial life, and practically, enabling the construction of novel systems, endowed with evolutionary, reproductive, regenerative, and learning capabilities. This volume examines the behavior of such machines, the complex computation they exhibit, and the application of artificial evolution to attain such systems.

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

Amazon Price: $93.00 List Price: $93.00 Usually ships in 24 hours By: Springer Amazon Marketplace: 33 new & used starting at $3.82

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Expert Systems

Editorial Review:

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

Diagrammatic Representation and Reasoning

Amazon Price: $118.55 List Price: $149.00 Usually ships in 24 hours By: Springer Amazon Marketplace: 26 new & used starting at $104.40

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Expert Systems

Editorial Review:

The recent rise of multimedia technology has turned visual communication into an everyday reality and made it necessary to achieve a better understanding of the role of diagrams and sketches in communication and in creative thought and problem-solving.
Diagrammatic Representation and Reasoning is a wide-ranging, multidisciplinary overview of this area, covering relevant research in computer science, artificial intelligence, cognitive science and psychology.
Key topics include:
- Cognitive aspects of diagrammatic information;
- Formal methods for computing with diagrams;
- Applications of advanced diagrammatic systems.
This book is a state-of-the-art survey that will be a valuable resource for researchers and students in the fields of cognitive science, artificial intelligence, human-computer interaction, and graphics and visualisation.