The book offered to the reader is based on a course of lectures delivered at the Faculty of Computational Mathematics and Cybernetics of Moscow State University named after M.V. Lomonosov and at the Faculty of Management and Applied Mathematics of the Moscow Institute of Physics and Technology. The range of questions raised in the book is quite wide - from the properties of formal languages ​ ​ to the translation technique.