Вашкевич Н.П., Бикташев Р.А. Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации

Монография. — Пенза: Изд-во ПГУ, 2016. — 394 с.Рассмотрен математический аппарат, связанный с формальным представлением алгоритмов управления параллельной обработки информации с использованием модели недетерминированных автомато (НДА), и даны эквивалентные преобразования такой модели. В качестве основной базовой модели НДА принята система рекуррентных канонических уравнений (СКУ), описывающая все реализуемые в системе управления частные события и язык граф-схем алгоритмов с параллельными ветвями. Рассмотрены некоторые начальные языки представления управляющих алгоритмов и их использования для формального описания алгоритмов и методы их преобразования на язык СКУ. Формальное представление алгоритмов взаимодействия параллельными процессами иллюстрируется на базе решения классических задач управления процессами при обращении к общему ресурсу. Рассмотрены так же методы структурной реализации и верификации алгоритмов управления процессами и ресурсами в многопроцессорных системах, представленных автоматными моделями НДА и ДА.
Книга предназначена для широкого круга специалистов, а также может быть использована студентами направлений 09.03.01 «Информатика и ВТ» 09.05.01 «Применение и эксплуатация автоматизированных систем специального назначения»