О простых условных экспериментах идентификации обратимых автоматов некоторого класса

Рассматривается класс сильносвязных автоматов, получаемых из некоторого инициального обратимого автомата с $m$ состояниями, $n$ входными и $n$ выходными символами путём изменения его функции переходов в зависимости от ключа. Показывается существование простого условного эксперимента, идентифицирующего автоматы в этом классе и имеющего длину не более $mn(m+3)/2$.