Представлен основной мат. аппарат, связанный с формальным представлением параллельных управляющих алгоритмов в виде модели недетерминированных автоматов (НДА) и даны эквивалентные преобразования этой модели. В качестве основной базовой модели НДА приняты система рекуррентных канонических уравнений, описывающих все реализуемые в системе управления частные события, и язык граф-схем алгоритмов с параллельными ветвями. Эквивалентные преобразования модели НДА базируются на использовании операций детерминизации, минимизации, кодирования и композиции НДА. Рассмотрены некоторые начальные языки представления управляющих алгоритмов и методы формального описания алгоритмов взаимодействия параллельных процессов, связанных с их синхронизацией и обменом информацией. Формальные представления алгоритмов взаимодействия процессами иллюстрируются на базе решения “классических” задач управления процессами: обращение к общему ресурсу для n процессов, “производители-потребители”, “читатели-писатели”, “обедающие философы”, а также задач идентификации языков. Излагаются также методы структурной реализации параллельных алгоритмов. Учебное пособие подготовлено на кафедре “Вычислительная техника” и предназначено для студентов специальности 220100 при изучении ими дисциплин “Теория автоматов” и “Недетерминированные автоматы в системах логического управления”, также м. б. использовано студентами всех специальностей направления “Информатика и ВТ” при изучении ими родственных дисциплин.