The book of the author from Great Britain sets out the foundations of the theory of formal languages. The mathematical apparatus of set theory, graph theory and mathematical logic is used. All the information necessary to understand the issues discussed in the book is given in the corresponding chapters. Well-chosen exercises at the end of each chapter not only explain, but also complement the main material of the book.