6 research outputs found

    О минимизации конечных автоматов-преобразователей над полугруппами

    Get PDF
    Finite state transducers over semigroups are regarded as a formal model of sequential reactive programs that operate in the interaction with the environment. At receiving a piece of data a program performs a sequence of actions and displays the current result. Such programs usually arise at implementation of computer drivers, on-line algorithms, control procedures. In many cases verification of such programs can be reduced to minimization and equivalence checking problems for finite state transducers. Minimization of a transducer over a semigroup is performed in three stages. At first the greatest common left-divisors are computed for all states of the transducer, next the transducer is brought to a reduced form by pulling all such divisors ”upstream”, and finally a minimization algorithm for finite state automata is applied to the reduced transducer.Автоматы-преобразователи над полугруппами можно использовать в качестве модели последовательных реагирующих программ, работающих в постоянном взаимодействии со своим окружением. Получив очередную порцию данных, реагирующая программа выполняет некоторую последовательность действий и предъявляет результат. Такие программы возникают при проектировании компьютерных драйверов, алгоритмов, работающих в оперативном режиме, сетевых коммутаторов. Во многих случаях проблема верификации программ такого рода может быть сведена к задачам минимизации и проверки эквивалентности конечных автоматовпреобразователей. Минимизация преобразователей над полугруппами проводится в три этапа. Вначале для всех состояний преобразователя вычисляются наибольшие общие левые делители. Затем все вычисленные делители ”поднимаются вверх” по переходам преобразователя, и в результате образуется приведенный преобразователь. Наконец, для минимизации приведенных преобразователей применяются методы минимизации классических конечных автоматов-распознавателей

    On D0L systems with finite axiom sets

    Get PDF
    We give a new solution for the language equivalence problem of D0L systems with finite axiom sets by using the decidability of the equivalence problem of finite valued transducers on HDT0L languages proved by Culik II and Karhumäki

    Acta Cybernetica : Volume 16. Number 1.

    Get PDF

    Single-valuedness of tree transducers is decidable in polynomial time

    Get PDF
    AbstractA bottom-up finite-state tree transducer (FST) A is called single-valued iff for every input tree there is at most one output tree.We give a polynomial-time algorithm which decides whether or not a given FST is single-valued. The algorithm is based on:•the freedom of the submonoid of trees which contain at least one occurrence of one variable ∗;•the succinct representation of trees by graphs;•a sequence of normalizing transformations of the given transducer; and•a polynomially decidable characterization of pairs of equivalent output functions.We apply these methods to show that finite-valuedness is decidable in polynomial time as well
    corecore