Friend's Email: Subject:I have found a book that I think you would enjoy
Formal Languages and Their Relation to Automata
Formal Languages and Their Relation to Automata Author:John E. Hopcroft, Jeffrey D. Ullman "Formal Languages and Their Relation to Automata" is a seminal study of formal languages in an important subarea of computer science. This area sprang into life in 1956 when Noam Chomsky gave a mathematical model of a grammar in connection with his study of natural language. Shortly afterwards, the concept of a grammar was found to be of great ... more »importance to the programmer when the syntax of the programming language ALGOL was defined by a context-free grammar, and this development led naturally to syntax-directed compiling and the concept of a compiler compiler. Since then a considerable flurry of activity has taken place, the results of which have related formal languages and automata theory to such an extent that it is now impossible to treat them separately. No serious study of computer science would be complete without a knowledge of the techniques and results from language and automata theory.
This book was intended primarily as a textbook for a first or second year graduate course in formal languages. It is self-contained and presupposes only the normal level of maturity expected of a beginning graduate student, and the authors based their text upon class notes for courses in language theory they taught at Princeton, Columbia, and Cornell.
Topics include: Languages and their representation; Grammars; Finite automata and regular grammars; Context-free grammars; Pushdown automata; Turing machines; Linear bounded automata; Context-sensitive languages; Operations on languages; Stack automata; and Decidability.« less