Searching for "Formal Tree Series." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Formal tree series
- …BRICS RS-02-21 Ésik & Kuich: Formal Tree Series BRICS Basic Research in Computer Science Formal…
- Cited by 24 (0 self) – Add To MetaCart
-
A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids
- … on the equivalence of recognizability and rationality for formal tree series over distributive multioperator monoids…
- Add To MetaCart
-
Bottom-up and Top-down Tree Series Transformations
- …, respectively, by allowing formal tree series as output rather than trees, where a formal tree series is a…
- Cited by 25 (5 self) – Add To MetaCart
-
Determinization of Finite State Weighted Tree Automata
- … k ); f A (b 1 ; : : : ; b k )) 2 . 2.6 Formal tree series Let A be a semiring and be a ranked…
- Cited by 8 (1 self) – Add To MetaCart
-
Tree Transducers with Costs
- … and in Section 3 we recall from [FV01] the notions of formal tree series and their substitution which…
- Add To MetaCart
-
A Kleene theorem for weighted tree automata
- … that for any idempotent and commutative semiring A, the recognizable and the rational formal tree series over A…
- Cited by 12 (8 self) – Add To MetaCart
-
unknown title
- … formal tree series as output rather than trees, where a formal tree series is a mapping from output trees…
- Add To MetaCart
-
Induction Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations
- …, the section is concluded by the presentation of formal tree series [BR82, Kui97b] and tree series substitution…
- Add To MetaCart
-
Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations
- … and semirings, and substitutions of formal tree series. Section 3 recalls the definition of deterministic bottom…
- Cited by 2 (1 self) – Add To MetaCart
-
Cut Sets as Recognizable Tree Languages
- … with a collection of recognizable tree languages, we ask for the existence of a formal tree series whose…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
