Simulations of Weighted Tree Automata
From MaRDI portal
Publication:3073652
DOI10.1007/978-3-642-18098-9_34zbMath1297.68125arXiv1005.2079MaRDI QIDQ3073652
Publication date: 11 February 2011
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1005.2079
Related Items
Unnamed Item, Multi-Linear Iterative K-Σ-Semialgebras, Hopf monoids in varieties, On algebras with effectful iteration
Uses Software
Cites Work
- Continuous monoids and semirings
- Axiomatizing the equational theory of regular tree languages
- Effective construction of the syntactic algebra of a recognizable series on trees
- A calculus of communicating systems
- A completeness theorem for Kleene algebras and the algebra of regular events
- Bisimulation relations for weighted automata
- Représentations matricielles des séries d'arbre reconnaissables
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- Bisimulation Minimisation for Weighted Tree Automata
- Automata, Languages and Programming
- Tiburon: A Weighted Tree Automata Toolkit
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item