Захаров В.А.

Задача унификации параметризованных автоматов-преобразователей состоит в том, чтобы для двух заданных автоматов найти такие значения их параметров, при которых эти автоматы будут вычислять одинаковые отношения трансдукции. В статье представлен квадратичный по времени алгоритм вычисления наиболее общих унификаторов конечных параметризованных детерминированных автоматов-преобразователей. Этот алгоритм построен на основе алгоритма Мартелли–Монтанари унификации термов и алгоритма проверки эквивалентности детерминированных автоматов-преобразователей.