Some applications of computer to investigation of substitutional dynamical systems

В работе формулируется новое достаточное условие топологического перемешивания подстановочной динамической системы. С помощью компьютера оно проверено для системы, ранее исследованной иными методами. Для подстановки, этому условию не удовлетворяющей, топологическое перемешивание доказано с помощью весьма общего метода рекуррентных соотношений. Формулы этих соотношений написаны компьютером. Библ. – 6 назв.