Theory of Computation  (English, Paperback, Mahesh Kavi)

Theory Of Computation: A Problem-Solving Approach was written to introduce engineering students to the subject and focuses more on problem solving than proving of theorems.

Summary Of The Book

This book presents students with important ideas and concepts and also teaches them how to apply those concepts while solving a problem. The Theory of Computation, which is also known as Finite Automata and Formal Languages, is often considered a tedious and tough subject to study. This book was written with a different approach, so that students will be more willing to learn.

Theory Of Computation: A Problem-Solving Approach stays away from jargon and lengthy proofs of theorems. It contains problems for students to solve and also provides step-by-step solutions so that students can understand how the final answer was arrived at. It also educates students on methods or aphorisms that they can easily remember and use while solving problems. The solutions provided in the book are accurate and error-free as they have been tested by experts in the Java Formal Language and Automata Package.

Another interesting feature of Theory Of Computation: A Problem-Solving Approach is the set of debugging exercises. Some exercises have wrong or incomplete answers provided to allow students to test their knowledge.

Some of the topics covered in the book include Computing Machines and Languages, Computability, Undecidability, Intractability and Intelligence, Constructing Non-Deterministic Automata, Converting Regular Grammars to Automata, Concatenation of Regular Languages, and more. Each chapter of the book also has a section titled ‘The Idea of’ which presents the most crucial aspects of those chapters, so that the readers can study at a glance.

Theory Of Computation: A Problem-Solving Approach even features modern-day examples that are pertinent to the current post-Internet age. The concepts presented are not only in theory, but are also associated with the latest developments like data validation, Web technologies, software engineering, and XML.

About Kavi Mahesh

Kavi Mahesh is a professor and consultant.

He earned a PhD from Georgia Institute of Technology, USA, with a focus on Computer Science. He teaches at the PES Institute of Technology in Bangalore, and is also the head of the Centre for Ontological Engineering, at the institute. He is a principal consultant for Infosys, working with their Knowledge Management Group. His experience as a teacher spans a time period of two decades. He has also published several papers which have been well-received. He specializes in fields such as Epistemology, Web Technologies, Ontology, Classification Studies, and more. He has written over 80 citations, three books, and 50 papers.