Sciweavers

CORR
2010
Springer
121views Education» more  CORR 2010»
14 years 17 days ago
Simulation vs. Equivalence
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...
Zoltán Ésik, Andreas Maletti