Computation: Finite and Infinite Machines

This book systematically explores what machines can and cannot do, providing theoretical grounds for these capabilities.

It covers topics such as finite state machines, Turing machines, and the work of Emil Post and Stephen Kleene.

The book is a comprehensive introduction to the fundamentals of computer science, focusing on the theoretical aspects rather than practical programming.