Локальное обращение конечного автомата с помощью автоматов

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