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
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
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
0 references