Symbolic dynamics is essential in the study of dynamical systems of various types and is connected to many other fields such as stochastic processes, ergodic theory, representation of numbers, information and coding, etc. This graduate text introduces symbolic dynamics from a perspective of topological dynamical systems and presents a vast variety of important examples. After introducing symbolic and topological dynamics, the core of the book consists of discussions of various subshifts of positive entropy, of zero entropy, other non-shift minimal action on the Cantor set, and a study of...