Самосжимающий генератор. 
Системные и прикладные аспекты

Этот генератор строится на основе ЛРСтах-/?, с двух ячеек которого снимается пара знаков: если 1-й знак равен единице, то 2-й знак является выходным; если 1-й знак равен нулю, то 2-й знак игнорируется. Для гаммы самосжимающего генератора также могут быть достигнуты хорошие характеристики. По сравнению со сжимающими генераторами самосжимающие генераторы используют в два раза меньше регистров, но генерируют гамму медленнее.

>

Генераторы с дополнительной памятью. Для снижения корреляции между гаммой и промежуточными последовательностями генератора используют дополнительные регистры памяти. В криптосхемах используют несколько способов дополнения памяти.

В генераторах Макларена — Марсалъи исходная последовательность усложняется с помощью регистра памяти и управляющих последовательностей. Пусть имеется т ячеек памяти, занумерованных числами от О до т — 1, в которые записаны элементы /7-множества X. Для отображения входной последовательности X= {х,} над X в выходную последовательность У= {г/,} над X используются в общем случае управляющие последовательности [/_> = {г/Д и {те;,} над кольцом 1_т, г = 1,2,… Последовательность и_> управляет записью в память членов Xа — считыванием из памяти членов У_>.

Генератор моделируется автоматом А = (X х Х_т х Х_т, Х^{, п}_у X, /г, /). Пусть (5(0), 5(/77 — 1)) Е Х^ту тогда Н ((з (0), …, 5(777 — 1)), X, 7/, ш) = (5'(0), …,.

5^,(/77 — 1)), где 5'(и) = х и 5'(/) = 5(7) при всех 7 Ф и,

Входная последовательность /_> автомата А является сопряжением последовательностей Xи_>, М⁷!". Обозначим: ?_г, ?_м, ?,_у, ?₇ длины периодов соответственно последовательностей Х_>, [/_>, У_>, /_>; = НОК ((_г, ?_м, ?_да),.

= НОК (?", ?_и,). Последовательность над X называется полной, если она содержит все элементы множества X.

Теорема 14.5. Если последовательности Х_>, [/_>, W__> — периодические, гдеи_ь и полны, то У_> — также периодическая, где С ?₇, тк,_у,.

и >

Уточнение коэффициента пропорциональности р, связывающего периоды Ь_х и Ь_у = р?_Л., требует некоторой дополнительной информации о свойствах входных последовательностей. Например, в случае [/_> =.

1_Х) = 1 и < Ь_х приведена оценка [ 1 ]: р > Ь_ие~^т/^е.