Equational weighted tree transformations (Q766185)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equational weighted tree transformations
scientific article

    Statements

    Equational weighted tree transformations (English)
    0 references
    0 references
    0 references
    0 references
    23 March 2012
    0 references
    The authors consider polynomial systems of equations of weighted term relations over commutative continuous semirings. A weighted relation between two algebras is called equational if it is a component of the least solution of such a system. This least solution is obtained as the least fixed point of an \(\omega\)-continuous operator. Equational weighted tree transformations are the equational weighted relations between two term algebras. The equational weighted tree transformations, as well as some special types of them, are characterized in terms of weighted tree bimorphisms, i.e., systems consisting of two tree homomorphisms and a recognizable weighted tree language. Furthermore, the weighted tree transformations computed by weighted linear nondeleting tree transducers and weighted linear nondeleting extended tree transducers are given equational characterizations. Finally, the authors present a Mezei-Wright like result showing that the weighted equational relations between any two algebras are the images of a certain kind of weighted equational tree transformations.
    0 references
    0 references
    weighted tree transformations
    0 references
    weighted equational sets
    0 references
    tree bimorphisms
    0 references
    tree transducers
    0 references
    tree languages
    0 references
    Mezei-Wright theorems
    0 references
    0 references