<i>Computability, Complexity, and Languages</i> is an introductory text that 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. <br><br><ul> <li>Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.</li> <li>The number of exercises included has more than tripled.</li> <li>Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.</li></ul>

Out of Stock

Computability, Complexity, and Languages

Publisher

Academic Press

ISBN

0122063821

Language

en

Release

1994-02-03

Pages

609

Categories

Computers / Computer Science

Free Shipping

About the Author

Martin Davis, Ron Sigal, Elaine J. Weyuker

Books Recomendation

Sign up to our Newsletter