3 Review(s)

This book adopts a holistic approach to learning from fundamentals of formal languages to undecidability problems. Its organization follows the order in which the course is taught over the years, and is well-accepted by the student community. The contents of each topic help even a novice reader to follow the material and motivate the reader to read and understand rather than remember and reproduce. The book is divided into nine chapters that are arranged in the order in which the course is taught over the years, and well-accepted by the student community. The theorems are limited to requirement of an undergraduate level, and the proofs are kept as simple as possible. The concepts are illustrated through fair number of examples.