Исследование вероятностной зависимости выхода автомата от некоторых характеристик входа

В работе рассматривается функциональный автомат, на вход которого подается булева последовательность $x_t$, $t=1,2,\dots$, а на выходе получается булева последовательность $y_t$, $t=1,2,\dots$. Зависимость выхода от входа определяется булевой функцией $y_t=f_K(x_t,x_{t+1},\dots,x_{t+n-1})$, зависящей от некоторого параметра $K$. С помощью статистик, связывающих значение $y_t$ с числом единиц в векторе $(x_t,x_{t+1},\dots,x_{t+n-1})$ или связывающих биграммы $y_t,y_{t+1}$ с числом единиц в векторе $y_t,y_{t+1},\dots,y_{t+n}$, строятся критерии, позволяющие определить, получен ли выход $y_t$, $t=1,2,\dots$, от входа $x_t$, $t=1,2,\dots$.