Слои конечного автомата

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