Анализ структуры класса линейных автоматов над кольцом Zpk

Abstract

Встановлено базові скінченно-автоматні характеристики для класу усіх лінійних автоматів над кільцем Zpk і тих, що не втрачають інформації. Досліджено складність розв'язку задач параметричної ідентифікації й ідентифікації початкового стану. Охарактеризовано множину нерухомих точок відповідних словникових функцій, які реалізуються ініціальними автоматами. Побудовано канонічні форми лінійних автоматів над кільцем Zpk.