Свободные регистры сдвига. II

Продолжается исследование регистров сдвига на свободной полугруппе и их выходных функций, являющихся обобщением $k$-мерных регистров сдвига на свободной коммутативной полугруппе $\mathbf N_0^k$ и $k$-рекуррентных последовательностей. Изучаются понятия регулярного регистра сдвига, чисто периодической функции на свободной полугруппе, периода функции. Доказывается существование рекуррентных функций максимального периода. Строится теоретико-автоматная модель свободного регистра сдвига.