Криптоанализ двухкаскадного конечно-автоматного генератора с функциональным ключом

Рассматривается криптографический генератор $G = A_1\cdot A_2$, представляющий собой последовательное соединение двух абстрактных конечных автоматов $A_1$ и $A_2$ над полем $\mathbb{F}_2$. Ключом генератора является функция $f_1$ выходов автомата $A_1$ и, возможно, начальные состояния автоматов. Задача криптоанализа генератора $G$ состоит в определении его ключа по заданному отрезку $\gamma = z(1)z(2) \ldots z(l)$ его выходной последовательности. Описаны алгоритмы анализа автомата $A_2$ в общем случае и для конечно-автоматного генератора $(\delta,\tau)$-шагов, позволяющие найти поступающий на вход автомата $A_2$ прообраз $u(1)\ldots u(l)$ последовательности $\gamma$. Значения $u(t)$ суть значения функции $f_1$ на наборах $x(t)$, $t=1,2, \ldots, l$, где $x(t)$ — состояние автомата $A_1$ в момент времени $t$. Если начальное состояние $x(1)$ и класс функций $C_1$, которому принадлежит $f_1$, известны, то задача поиска функции $f_1$ сводится к доопределению частичной булевой функции до функции в классе $C_1$.