Equivalence Testing of Weighted Automata over Partially Commutative Monoids

V. Arvind, Abhranil Chatterjee, Rajit Datta +1

We study \emph{multiplicity equivalence} testing of automata over partially commutative monoids (pc monoids) and show efficient algorithms in special cases, exploiting the structur…