This systematic survey of formal languages develops theory from the point of view of generative devices (mainly grammars), and introduces recognition devices (automata) only as a secondary tool within the framework of rewriting systems. It concentrates on the mathematical theory and is self-contained; the reader needs no other sources for proofs of results and stated as theorems, nor any previous knowlege of the subject.
