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

Дается описание класса специализированных вычислительных устройств, ориентированных только на решение логических задач, и некоторых особенностей их программного обеспечения. Предлагается новый язык формального описания дискретных управляющих систем (ФОДУС). Излагается синтаксис языка, описывается программная реализация систем логических выражений, в которые транслируется текст на языке ФОДУС.