THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA

DOI10.1142/S0129054111009070zbMATH Open1244.68046OpenAlexW2038755815MaRDI QIDQ3224952FDOQ3224952

Authors: Andreas Maletti, Zoltán Ésik 

Publication date: 13 March 2012

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054111009070

Recommendations

• Simulations of weighted tree automata
• A Backward and a Forward Simulation for Weighted Tree Automata
• Computing Simulations over Tree Automata
• Quantitative simulations by matrices
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
• Fair simulation for nondeterministic and probabilistic Büchi automata: a coalgebraic perspective
• scientific article; zbMATH DE number 1927559
• Quantitative fair simulation games
• Simulation algorithms for symbolic automata

zbMATH Keywords

simulationequivalencesemiringbisimulationweighted tree automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Cites Work

• Handbook of weighted automata
• Axiomatizing the equational theory of regular tree languages
• Bisimulation relations for weighted automata
• A completeness theorem for Kleene algebras and the algebra of regular events
• Continuous monoids and semirings
• Effective construction of the syntactic algebra of a recognizable series on trees

Cited In (12)

• From generic partition refinement to weighted tree automata minimization
• A final coalgebra for \(k\)-regular sequences
• Quantitative simulations by matrices
• Bisimulations for weighted automata over an additively idempotent semiring
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Simulations of weighted tree automata
• A Backward and a Forward Simulation for Weighted Tree Automata
• Ambiguity Hierarchies for Weighted Tree Automata
• Hopf semialgebras.
• A completeness result for finite \(\lambda\)-bisimulations
• Stream differential equations: specification formats and solution methods
• Ambiguity hierarchies for weighted tree automata

This page was built for publication: THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3224952)