This book introduces the fundamental concepts, models, techniques, and results that form the basic paradigms of computing. It examines all the essential topics in formal languages, automata, computability, and complexity.
"synopsis" may belong to another edition of this title.