О решении автоматных уравнений

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