Every introductory book in theoretical computer science will have a discussion of the Chomsky language hierarchy. It is hugely insightful and helpful.