Аннотация:Статья посвящена разработке алгебры конечных автоматов специального вида DTA (Digital Twin Algebra), предназначенной для математического моделирования поведения цифровых двойников производства. Основное внимание уделяется изучению операций композиции детерминированных конечных автоматов, позволяющих строить модели составных активов из более простых. В алгебру DTA включены как общеизвестные операции, например, операция прямого произведения автоматов и операция суперпозиции автоматов, так и вновь введенные операции, включая: операции группирования конечных автоматов в параллельный блок, группирования иерархической структуры, системной композиции, ассоциации между автоматами, рекурсивного вызова автомата. Предложенный математический аппарат может использоваться для разработки формальных моделей физических активов производства, их цифровых двойников, а также моделей поведения киберфизических систем, включающих как физические, так и виртуальные активы.