|
An Algorithm for Recognizing the Spherical Transitivity of an Initial Binary Automaton
T. I. Lipina Lomonosov Moscow State University
Abstract:
An algorithm is presented which determines in a finite number of steps whether an initial finite binary automaton is spherically transitive. Since the class of deterministic functions coincides with the class of functions satisfying the Lipschitz condition with constant 1 on the ring of $p$-adic integers, the algorithm is based on an ergodicity criterion for a deterministic function given by a van der Put series.
Keywords:
spherical transitivity, initial automaton, $p$-adic number, van der Put series.
Received: 20.05.2020 Revised: 18.06.2020
Citation:
T. I. Lipina, “An Algorithm for Recognizing the Spherical Transitivity of an Initial Binary Automaton”, Mat. Zametki, 108:5 (2020), 757–763; Math. Notes, 108:5 (2020), 721–726
Linking options:
https://www.mathnet.ru/eng/mzm12540https://doi.org/10.4213/mzm12540 https://www.mathnet.ru/eng/mzm/v108/i5/p757
|
Statistics & downloads: |
Abstract page: | 177 | Full-text PDF : | 61 | References: | 26 | First page: | 4 |
|