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