Досліджено властивості класу автоматів, які не втрачають інформації та представлені рекурентними співвідношеннями над скінченим кільцем. Для запропонованих алгоритмів досліджено структуру класів еквівалентних станів, вирішено задачі параметричної ідентифікації та ідентифікації початкового стану, а також охарактеризовано варіацію поведінки автомата за умов варіації параметрів або початкових станів.
