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