Neste livro são apresentados os fundamentos da computação, destacando o papel das máquinas e linguagens. Após revisar conceitos matemáticos essenciais, são estudados três tipos de máquinas e suas linguagens correspondentes: autômatos finitos, autômatos de pilha e máquinas de Turing. São mostrados exemplos de problemas sem solução algorítmica, incluindo o famoso 'problema da parada'. O livro encerra com a resolução de alguns exercícios propostos.