This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspects of theoretical computer science, namely automata, formal languages, computability, and complexity. Besides, it includes coverage of mathematical preliminaries. NEW TO THIS EDITION ac Expanded sections on pigeonhole principle and the principle of induction (both in Chapter 2) ac A rigorous proof of Kleeneas theorem (Chapter 5) ac Major changes in the chapter on Turing machines (TMs) a A new section on high-level description of TMs a Techniques for the construction of TMs a Multitape TM and nondeterministic TM ac A new chapter (Chapter 10) on decidability and recursively enumerable languages ac A new chapter (Chapter 12) on complexity theory and NP-complete problems ac A section on quantum computation in Chapter 12. ac KEY FEATURES ac Objective-type questions in each chapterawith answers provided at the end of the book. ac Eighty-three additional solved examplesaadded as Supplementary Examples in each chapter. ac Detailed solutions at the end of the book to chapter-end exercises. The book is designed to meet the needs of the undergraduate and postgraduate students of computer science and engineering as well as those of the students offering courses in computer applications.This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspects of theoretical computer science, namely automata, formal languages, ...

Title | : | Theory of Computer Science |

Author | : | K. L. P. Mishra, N. CHANDRASEKARAN |

Publisher | : | PHI Learning Pvt. Ltd. - 2006-01-01 |

Continue