Аннотация. Предложен метод проектирования сложных автоматов по их композиционной спецификации на языке L. Композиционная спецификация состоит из спецификаций автоматных модулей и связей между ними. Автомат,который синтезируется, получается путем соединения графов переходов модулей, синтезированных по их спецификациям.
Ключевые слова: модуль алгоритма, композиционная спецификация, язык L, Σ-автомат, сверхслово, операции сопряжения модулей, выделение состояния.
Чеботарев Анатолий Николаевич,
доктор техн. наук, ведущий научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: ancheb@gmail.com.