Реализация на программируемых логических матрицах параллельных алгоритмов логического управления

Представляется язык описания параллельных алгоритмов логического управления, базирующийся на применении упрощенного набора операций. Этот набор ограничен операцией действия и операцией ожидания, которые определены над простыми событиями, представимыми элементарными конъюнкциями управляющих и условных булевых переменных. Язык учитывает некоторые структурные свойства реальных алгоритмов управления и ориентирован на использование в системах автоматизированного проектирования. Предлагается способ преобразования заданного в этом языке алгоритма в секвенциальный автомат, непосредственно реализуемый на программируемой логической матрице с использованием $RS$-триггеров в качестве элементов памяти.