Н. П. Вашкевич, Р. А. Бикташев
ДОСТОИНСТВО ФОРМАЛЬНОГО ЯЗЫКА, ОСНОВАННОГО
НА КОНЦЕПЦИИ НЕДЕТЕРМИНИЗМА, ПРИ СТРУКТУРНОЙ
РЕАЛИЗАЦИИ ПАРАЛЛЕЛЬНЫХ СИСТЕМ ЛОГИЧЕСКОГО
УПРАВЛЕНИЯ ПРОЦЕССАМИ И РЕСУРСАМИ1
Аннотация. <...> Рассматриваются два подхода к решению поставленной задачи,
которые базируются на использовании результатов детерминизации исходного
управляющего алгоритма и его параллельно-последовательной декомпозиции
на подмножества несовместимых и совместимых частных событий, реализуемых в управляющем алгоритме. <...> По результатам такой декомпозиции управляющий алгоритм реализуется или на основе параллельной распределенной
системы логического управления, или на основе одного микропрограммного
автомата с параллельным выполнением микроопераций. <...> Ключевые слова: недетерминированные автоматы, алгоритмы логического
управления, параллельная декомпозиция, распределенные системы, нанокоманды. <...> Введение
В работе предполагается, что исходные управляющие алгоритмы (УА),
заданные моделью недетерминированных автоматов (НДА), представляются
в аналитической форме в виде системы рекуррентных канонических уравнений (СКУ), описывающих все частные события, реализуемые в УА [1, 2]. <...> После детерминизации таких УА получим представление УА моделью детерминированного автомата (ДА), эквивалентного исходному НДА [1, 3]. <...> Поволжский регион
вестных классических методов структурного синтеза конечных ДА. <...> Однако
такая структура управляющего автомата будет иметь много недостатков,
главные из них: исчезает простота, компактность и наглядность исходного
УА, представленного моделью НДА, в результате его двойного преобразования: при выполнении операции детерминизации и при кодировании внутренних состояний ДА; значительно увеличивается сложность комбинационных
схем, определяющих функции возбуждения элементов памяти управляющего
автомата; затрудняются выполнение контрольных операций системы управления и уменьшается <...>