In mathematics, symbolic dynamics is the study of dynamical systems defined on a discrete space consisting of infinite sequences of abstract symbols. The evolution of the dynamical system is defined as a simple shift of the sequence.
Because of their explicit, discrete nature, such systems are often relatively easy to characterize and understand. They form a key tool for studying topological or smooth dynamical systems, because in many important cases it is possible to reduce the dynamics of a more general dynamical system to a symbolic system. To do so, a Markov partition is used to provide a finite cover for the smooth system; each set of the cover is associated with a single symbol, and the sequences of symbols result as a trajectory of the system moves from one covering set to another.