A Kleene theorem for weighted tree automata over tree valuation monoids
From MaRDI portal
Publication:2280327
DOI10.1016/J.IC.2019.104445zbMATH Open1439.68014OpenAlexW2971170072MaRDI QIDQ2280327FDOQ2280327
Zoltán Fülöp, Doreen Götze, Manfred Droste
Publication date: 18 December 2019
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2019.104445
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the definition of a family of automata
- Generalized finite automata theory with an application to a decision problem of second-order logic
- WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
- Weighted Tree Automata and Tree Transducers
- Quantitative languages
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
- Recognizable formal power series on trees
- A Kleene theorem for weighted tree automata
- Weighted grammars and Kleene's theorem
- A Kleene theorem for weighted tree automata over distributive multioperator monoids
- RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA
- A link between multioperator and tree valuation automata and logics
- Describing Average- and Longtime-Behavior by Weighted MSO Logics
- THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES
- A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids
Cited In (6)
- Special issue: selected papers of the 10th international conference on language and automata theory and applications, LATA 2016
- Kleene and Büchi theorems for weighted forest languages over M-monoids
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
- The emptiness problem for valence automata over graph monoids
- A link between multioperator and tree valuation automata and logics
- -Treeautomata and their relation to weighted context-free grammars
This page was built for publication: A Kleene theorem for weighted tree automata over tree valuation monoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280327)
