Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 231 стр.

                        ЗАКЛЮЧЕНИЕ
      Отметим наиболее важные достоинства способа представления
алгоритмов управления на основе использования модели НДА и ее
аналитического представления на языке НД СКУ и методов его
использования для синтеза систем логического управления на разных
уровнях преобразования информации.
      1) Математическая модель алгоритмов логического управления,
представленная на языке НД СКУ, совместно с графическим представлением
ее на языке ГСАП, является достаточно простой и универсальной,
позволяющей ее использовать для широкого круга применений по
формализации алгоритмов управления объектами и процессами, начиная от
простейших устройств управления выполнением арифметических операций в
процессоре и кончая управлением процессами и ресурсами в
вычислительных системах и сетях. При этом обеспечивается сравнительная
легкость представления информации об алгоритме управления в ЭВМ с
помощью списочных структур для целей автоматизации проектирования и
моделирования.
      2) Способ обладает компактностью представления алгоритмов
управления, в том числе алгоритмов с взаимодействующими параллельными
ветвями с любой степенью параллелизма, что в значительной степени,
позволяет снизить ограничения на размерность проектируемых и
моделируемых систем управления, понимая под размерностью произведение
числа событий на число входных сигналов.
      3) Наиболее естественно (по шагам) отражается алгоритм работы
управляющего устройства, что позволяет осуществить непосредственный
переход к различным вариантам структурных схем проектируемого
устройства. В частности, если каждому событию поставить в соответствие D-
триггер, то правые части уравнений СКУ будут функциями возбуждения
этих триггеров.
      4) Способ допускает относительно легкий переход к СКУ для систем
управления, заданных на различных начальных языках, что позволяет с
единых позиций подойти к синтезу таких систем независимо от
первоначального формального описания их на одном из начальных языков.
      5) Математический аппарат эквивалентных преобразований НДА,
представленный в учебном пособии, может успешно сочетаться с хорошо
разработанным аппаратом математической логики и многими важными
положениями теории цифровых автоматов для выполнения различных
эквивалентных преобразований СКУ и СВФ на различных этапах синтеза
систем логического управления.
      6) В связи с тем, что операции детерминизации и кодирования НДА
являются операциями обратными друг другу, представляется возможность

                                                                      231