Thermodynamic formalism for symbolic dynamical systems