Конечный детерминированный автомат является одной из наиболее используемых математических моделей при описании сложных систем дискретного типа. Традиционно поведение моделируемых объектов рассматривается с преобразовательной точки зрения, то есть изучается механизм преобразования входных последовательностей (воздействий) в выходные (реакции). Однако для получения полного и всестороннего представления о функциональных возможностях системы полезно рассматривать и другой подход — если описанием автомата (как формальной модели системы) является множество выходных последовательностей, которые он генерирует, то говорят о перечислительной форме поведения автомата. В данной статье исследуются возможности применения базисных множеств групп автоматных преобразований при решении задачи организации перехода от автомата-преобразователя к автомату-перечислителю и предлагается подход к решению задачи организации целенаправленного поведения в классе дискретных систем, описываемых взаимноднозначными преобразованиями (системы без потери информации). Основным результатом данной работы является нахождение вида автоматных подстановок и условий универсальности автомата для класса моделируемых систем без потери информации, что представляет теоретический интерес и может быть полезным с практической точки зрения при решении задач восстановления поведения сложных систем.