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

организации некоторых эффективных процедур контроля и верификации,
получаемых в процессе синтеза различных систем канонических уравнений.
       7) Представление состояний (полных событий) в виде совокупности
частных событий, одновременное существование которых в системе
управления возможно, позволяет использовать для структурного синтеза
систем управления другой подход к кодированию состояний системы
управления, когда код каждого состояния представляется в виде композиции
кодов групп несовместимых частных событий. Такое кодирование приводит
к значительному упрощению как структуры системы управления, так и
процедур их диагностики.
       8) Язык НД СКУ может быть успешно использован для формализации
алгоритмов управления взаимодействующими асинхронными
параллельными процессами с решением задач обмена данными между
процессами и их синхронизации. Это перспективное направление
использования языка НД СКУ может быть значительно расширено и
дополнено с учетом решения задач структурной реализации и моделирования
автоматных недетерминированных и детерминированных моделей систем
параллельной и распределенной обработки информации.
       9) В пособии были рассмотрены также вопросы построения структур
микропрограммного управления на основе использования языка НД СКУ для
систем параллельной обработки. Такие структуры отличаются высокой
производительностью и простотой. Используя их формальное представление
на языке НД СКУ можно успешно решать задачи автоматизации отдельных
этапов их структурного синтеза.
       10) Из анализа работ, посвященных теории синтаксического анализа,
перевода и компиляции [3, 6, 7, 78], в которых авторы используют модель
НДА, следует, что представленные в данном учебном пособии результаты в
области теории НДА и их эквивалентных преобразований, могут быть
успешно использованы также и при проектировании различных
синтаксических анализаторов и компиляторов.
       Учитывая отмеченные выше достоинства представления алгоритмов
управления на языке НД СКУ можно отметить, что этот язык позволяет в
некоторой степени приблизить решение задачи, поставленной Ч.Хоаром в
[55], по поиску как можно более простой математической теории,
позволяющей:
       а) описывать широкий круг применений по управлению процессами и
дискретному моделированию событий, начиная с торговых автоматов и
кончая операционными системами с разделяемыми ресурсами;
       б) обеспечивать эффективную реализацию систем управления от
простейших автоматов до мультипроцессорных устройств и сетей
взаимодействующих микропроцессоров;
       в) обеспечивать комплексное решение вопросов в деле спецификации,
разработки, реализации, верификации и анализа сложных систем управления,

                                                                     232