This book on \Theory of Computation\ is written with a view point of giving an exposure to the readers, of the informal understanding of the various concepts, and then their formalization. The organization of the book is such that it first introduces the concept informally, followed by its formalization, immediately followed by it\'s application in solving the problems.