Automata Formal Languages, and Turing Machines

Emre Sermutlu graduated from Middle East Technical University Physics and Mathematics (Double Major) programs and then finished his Ph.D. in Bilkent Mathematics Department. He has several decades of experience in teaching mathematics, physics, and computer science at Çankaya University.

Turing Machines is about the theoretical foundations of computer science. It offers a bird's-eye view of all possible algorithms. This viewpoint is very rewarding but at the same time very abstract.

This book strikes a balance between theory and applications, mathematical concepts and practical consequences for computer programs, and the usual dilemma of any textbook, that of going to greater depths or covering a wider range of topics.
The gently sloping learning curve is especially suitable for self-study.