Анализ нелинейных автоматов с лагом 2 над конечным кольцом

Для обратимых нелинейных одномерных автоматов с лагом 2 над кольцом $\mathbf Z_{p^k}=(\mathbb Z_{p^k},\oplus,\circ)$ исследована структура автоматного графа, охарактеризованы множества эквивалентных состояний, решены задачи параметрической идентификации и идентификации начального состояния, охарактеризованы множества неподвижных точек отображений, реализуемых инициальными автоматами.