Аннотация:Рассматривается задача выразимости конечного автомата A суперпозициями системы Phi U nu, где Phi состоит из всех функций k-значной логики и "задержки", nu – произвольная конечная система автоматов. Ранее автор показал, что для автомата A с безусловными переходами существует алгоритм проверки выразимости A через Phi U nu. В настоящей работе решается задача алгоритмической разрешимости задачи выразимости автомата с разрешимой группой через систему Phi U nu.