Предложен метод проектирования сложных автоматов за их композиционной спецификацией языком L. Композиционная спецификация сосотит из спецификаций автоматных модулей и связей между ними. Автомат, что синтезируется, получается путем соединения графов перехода модулей , синтезированными за их спецификациями.
