TY  - BOOK
AU  - Kakde, O G
TI  - Theory of Computation
SN  - 9788131805435
U1  - 511.3 KAK-T 
KW  - Machine theory
N2  - 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.
ER  -