Эквивалентные преобразования недетерминированных автоматов: Учеб.
пособие. - Пенза: Изд-во Пенз. гос. техн. ун-та, 1996.- 88 с.: 7
ил., 8 табл., библиогр. 34 назв.
Содержится основной математический аппарат, связанный с формальным представлением параллельных управляющих алгоритмов в виде модели недетерминированных автоматов (НДА) и эквивалентные преобразования этой модели. В качестве основной модели НДА принята система рекуррентных канонических уравнений, описывающих все реализуемые в системе управления частные события. Эквивалентные преобразования модели НДА базируются на использовании операций детерминизации, кодирования,минимизации и композиции НДА.
Учебное пособие подготовлено на кафедре "Вычислительная техника" и предназначено для студентов специальности 22.01.00 при изучении ими дисциплин "Теория автоматов", "Основы теории управления", а также для студентов других технических специальностей.
Содержится основной математический аппарат, связанный с формальным представлением параллельных управляющих алгоритмов в виде модели недетерминированных автоматов (НДА) и эквивалентные преобразования этой модели. В качестве основной модели НДА принята система рекуррентных канонических уравнений, описывающих все реализуемые в системе управления частные события. Эквивалентные преобразования модели НДА базируются на использовании операций детерминизации, кодирования,минимизации и композиции НДА.
Учебное пособие подготовлено на кафедре "Вычислительная техника" и предназначено для студентов специальности 22.01.00 при изучении ими дисциплин "Теория автоматов", "Основы теории управления", а также для студентов других технических специальностей.