You can find some of that material in the Google Books preview (it has the first edition). Note that languages, finite automata and grammars are completely standard topics of the theory of computation, so they are described in many textbooks, for example,Elements of the Theory of Computationby Lewis and Papadimitriou.