Идентификация автомата в классе автоматов Спротта

Решается задача идентификации автомата в классе автоматов Спротта над конечным кольцом $\mathbf Z_p^k=(\mathbf Z_p^k,\oplus,\circ)$. Оценка сложности решения задачи необходима для характеристики стойкости поточного шифра, определяемого автоматом Спротта при использовании информационного потока в качестве управления. Показано, что в подклассе автоматов Спротта задача решается проведением кратного эксперимента с автоматом.