Анотация: У статті розглянуто призначення та умови застосування програмного забезпечення, що входить до складу програмного комплексу; призначеного для синтезу алгоритмів автоматизованого управління фасувально-пакувальними машинами. Детально висвітлені методи і засоби лінгвістичної компіляції, описані типи використовуваних ними даних. Дано опис режимів, в яких може застосовуватися або модифікуватися комплекс для розширення його функцій.
Ключові слова:
програмний комплекс, верифікація моделей, цифровий автомат
ENG
