Nearly one hundred years ago Jacques Hadamard used infinite sequences of symbols to analyze the distribution of geodesics on certain surfaces. That was the beginning of symbolic dynamics. In the 1930's and 40's Arnold Hedlund and Marston Morse again used infinite sequences to investigate geodesics on surfaces of negative curvature. They coined the term symbolic dynamics and began to study sequence spaces with the shift transformation as dynamical systems. In the 1940's Claude Shannon used sequence spaces to describe infor mation channels. Since that time symbolic dynamics has been used in ergodic theory, topological dynamics, hyperbolic dynamics, information theory and complex dynamics. Symbolic dynamical systems with a finite memory are stud ied in this book. They are the topological Markov shifts. Each can be defined by transition rules and the rules can be summarized by a transition matrix. The study naturally divides into two parts. The first part is about topological Markov shifts where the alphabet is finite. The second part is concerned with topological Markov shifts whose alphabet is count ably infinite. The techniques used in the two cases are quite different. When the alphabet is finite most of the methods are combinatorial or algebraic. When the alphabet is infinite the methods are much more analytic. This book grew from notes for a graduate course taught at Wesleyan Uni versity in the fall of 1994 and is intended as a graduate text and as a reference book for mathematicians working in related fields.

A dynamical system is a continuous self-map of a compact metric space. Topological dynamics studies the iterations of such a map, or equivalently, the trajectories of points of the state space. The basic concepts of topological dynamics are minimality, transitivity, recurrence, shadowing property, stability, equicontinuity, sensitivity, attractors, and topological entropy. Symbolic dynamics studies dynamical systems whose state spaces are zero-dimensional and consist of sequences of symbols. The main classes of symbolic dynamical systems are adding machines, subshifts of finite type, sofic subshifts, Sturmian, substitutive and Toeplitz subshifts, and cellular automata.

Symbolic dynamics is a mature yet rapidly developing area of dynamical systems. It has established strong connections with many areas, including linear algebra, graph theory, probability, group theory, and the theory of computation, as well as data storage, statistical mechanics, and $C^*$-algebras. This Second Edition maintains the introductory character of the original 1995 edition as a general textbook on symbolic dynamics and its applications to coding. It is written at an elementary level and aimed at students, well-established researchers, and experts in mathematics, electrical engineering, and computer science. Topics are carefully developed and motivated with many illustrative examples. There are more than 500 exercises to test the reader's understanding. In addition to a chapter in the First Edition on advanced topics and a comprehensive bibliography, the Second Edition includes a detailed Addendum, with companion bibliography, describing major developments and new research directions since publication of the First Edition.

Topological dynamics is the study of transformation groups with respect to those topological properties whose prototype occurred in classical dynamics. In this volume, Part One contains the general theory. Part Two contains notable examples of flows which have contributed to the general theory of topological dynamics and which have in turn have been illuminated by the general theory of topological dynamics.

This book describes the relation between profinite semigroups and symbolic dynamics. Profinite semigroups are topological semigroups which are compact and residually finite. In particular, free profinite semigroups can be seen as the completion of free semigroups with respect to the profinite metric. In this metric, two words are close if one needs a morphism on a large finite monoid to distinguish them. The main focus is on a natural correspondence between minimal shift spaces (closed shift-invariant sets of two-sided infinite words) and maximal J-classes (certain subsets of free profinite semigroups). This correspondence sheds light on many aspects of both profinite semigroups and symbolic dynamics. For example, the return words to a given word in a shift space can be related to the generators of the group of the corresponding J-class. The book is aimed at researchers and graduate students in mathematics or theoretical computer science.

There is no recent elementary introduction to the theory of discrete dynamical systems that stresses the topological background of the topic. This book fills this gap: it deals with this theory as 'applied general topology'. We treat all important concepts needed to understand recent literature. The book is addressed primarily to graduate students. The prerequisites for understanding this book are modest: a certain mathematical maturity and course in General Topology are sufficient.

This book is designed as an introduction into what I call 'abstract' Topological Dynamics (TO): the study of topological transformation groups with respect to problems that can be traced back to the qualitative theory of differential equa is in the tradition of the books [GH] and [EW. The title tions. So this book (,Elements . . . ' rather than 'Introduction . . . ') does not mean that this book should be compared, either in scope or in (intended) impact, with the 'Ele ments' of Euclid or Bourbaki. Instead, it reflects the choice and organisation of the material in this book: elementary and basic (but sufficient to understand recent research papers in this field). There are still many challenging prob lems waiting for a solution, and especially among general topologists there is a growing interest in this direction. However, the technical inaccessability of many research papers makes it almost impossible for an outsider to under stand what is going on. To a large extent, this inaccessability is caused by the lack of a good and systematic exposition of the fundamental methods and techniques of abstract TO. This book is an attempt to fill this gap. The guiding principle for the organization of the material in this book has been the exposition of methods and techniques rather than a discussion of the leading problems and their solutions. though the latter are certainly not neglected: they are used as a motivation wherever possible.