Новый язык логического управления

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