Розглянуто математичні й алгоритмічні засади теорії трансляції. Використано властивості формальних мов, їх алгебричну структуру. Наведено обчислювальний метод для отримання синтаксичного моноїда, а також процедуру одержання всіх максимальних підгруп моноїда. Надано інформацію стосовно редуктивного опису формальних граматик. Досліджено системи рівнянь з регулярними коефіцієнтами, а також алгебричні, раціональні та контекстно-вільні степеневі ряди від некомутативних змінних. Висвітлено питання програмування автоматів з магазинною (стековою) пам'яттю. Запропоновано матеріал з питань розпізнавання ймовірнісними машинами Тьюрінга (алгоритми знаходження ліво- та правосторонніх множин для всіх змінних мови, функції передування, алгоритм трансляції речень в граматиці передування). Проаналізовано поняття рентабельності, підпрограми, реалізації та динамічної взаємодії об'єктів, мови моделювання.

Рассмотрены математические и алгоритмические основы теории трансляции. Определены свойства формальных языков, их алгебраическую структуру. Приведен расчетный метод для получения синтаксического моноида, а также процедура получения всех максимальных подгрупп моноида. Дана информация относительно редуктивного описания формальных грамматик. Исследованы системы уравнений с регулярными коэффициентами, а также алгебраические, рациональные и контекстно-свободные степенные ряды от некомутативных переменных. Разработаны вопросы программирования автоматов с магазинной (стековой) памятью. Предложен материал по вопросам распознавания вероятностными машинами Тьюринга (алгоритмы нахождения левосторонних и правосторонних множеств для всех переменных языка, функции предшествования, алгоритм трансляции предложений в грамматике предшествования). Проанализировано понятие реентабельности, подпрограммы, реализации и динамического взаимодействия объектов, языка моделирования.