Аннотация:
В работе представлен алгоритм, определяющий за конечное число шагов,
является ли инициальный конечный бинарный автомат
сферически транзитивным. Так как класс детерминированных функций
совпадает с классом функций, удовлетворяющих уcловию Липшица
с константой 1 на кольце целых $p$-адических чисел,
в качестве основы алгоритма используется критерий эргодичности
детерминированной функции, заданной рядом ван дер Пута.
Библиография: 9 названий.
Ключевые слова:cферическая транзитивность, инициальный автомат,
$p$-адические числа, ряды ван дер Пута.
Полный текст:
PDF файл (429 kB)
