Friend's Email: Subject:I have found a book that I think you would enjoy
Computability, Complexity and Languages (Computer Science & Applied Mathematics)
Computability Complexity and Languages - Computer Science & Applied Mathematics Author:Martin Davis, Elaine J. Weyuker This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. — * Computability theory is introduced in a ma... more »nner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.
* The number of exercises included has more than tripled.
* Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.« less