Об особенностях применения метода формального кодирования при анализе генератора с полноцикловой функцией переходов

Abstract

Приведены примеры генераторов гаммы, множество состояний которых есть пространство двоичных n-мерных векторов, и функция переходов реализует полноцикловую подстановку множества состояний, для которых сложность решения системы линейных уравнений (без ограничения на число уравнений) относительно неизвестного начального состояния методом формального кодирования ниже оценки, приведенной в работе.