Метод идентификации обратимого автомата с известной функцией выходов

Предлагается метод построения простого условного эксперимента, идентифицирующего автомат с известной функцией выходов, являющийся одной из реализаций обратимого недетерминированного автомата $R$. Сначала строится граф преемников автомата $R$ и определяются его разрешимые вершины. Показано, что когда вершина, соответствующая множеству состояний автомата $R$, разрешима, то можно провести простой условный установочный эксперимент по нахождению текущего состояния автомата-реализации. Далее проводится простой условный эксперимент по идентификации последнего при известном начальном состоянии.