Introduction to the theory of computation

This book provides a clear and thorough introduction to the fundamental concepts of theoretical computer science.

It covers topics such as regular languages, automata theory, Turing machines, decidability, and computational complexity.

The book is known for its accessible style, innovative 'proof idea' sections, and extensive problem sets.

It is highly recommended for students and professionals in the field of computer science due to its clarity, thorough coverage, and practical examples.