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 the ergodic properties of these systems. The author presents recent developments such as spacing shifts, square-free shifts, density shifts, $mathcal{B}$-free shifts, Bratteli-Vershik systems, enumeration scales, amorphic complexity, and a modern and complete treatment of kneading theory. Later, he provides an overview of automata and linguistic complexity (Chomsky's hierarchy). The necessary background for the book varies, but for most of it a solid knowledge of real analysis and linear algebra and first courses in probability and measure theory, metric spaces, number theory, topology, and set theory suffice. Most of the exercises have solutions in the back of the book.