13 citations · 46 across the 14 of their papers we have counts for
Showing 2010 · cs.FLShow all
2 papers · 2 filters
cs.FL2010★ 7 cited
Simulations of Weighted Tree Automata
Zoltán Ésik, Andreas Maletti
Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called f…
cs.FL2010★ 13 cited
Simulation vs. Equivalence
Zoltan Esik, Andreas Maletti
For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations. Such a semiring S is c…