A general, yet comprehensive, introduction to the classical and contemporary theory of computation.