The theory of computation deals with the process of proficiently solving problems on computers by using algorithms. The model of computation is a numerical concept of computers. Introduction to theory of computation: 2nd edition by michael sipser deals with church turing thesis, reducibility, context free languages, languages and other topics in the field of computation.the theorems and proofs related to theoretical computing are explained in lengthy detail. There are prescribed definitions that helps the students in figuring out and understanding important terms and equations.the book has been revised and brought up to par with the contemporary trends. There are questions, answers, examples and all the tools necessary for students to learn efficiently. The questions mentioned at the end of each chapter help in testing the student's knowledge of what has been taught before.there are simple and more complex problems to the student challenged. The procedures are explained clearly so that the student understands how a certain step follows another step. A methodological way of teaching topics has been used in introduction to theory of computation: 2nd edition written by michael sipser. This book has been published by cengage learning in 2012 and is available in paperback.key features: this book is revised edition of its previous version.