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