Presents an overview of certain aspects of the mathematical theory of automata. This book combines and utilizes the various methods, chiefly the method of automata on infinite trees, to obtain a simple and transparent solution of Church's solvability problem.