Аннотация:Рассматривается задача выразимости конечного группового автомата Медведева M суперпозициями систем вида Ф U R, где Ф состоит из всех булевых функций и "задержки" , R – произвольная конечная система автоматов. Ранее автор показал, что для группового автомата Медведева M, группа которого является разрешимой, существует алгоритм проверки принадлежности M множеству [Ф U R]. В настоящей работе решается аналогичная задача выразимости произвольных групповых автоматов Медведева.