Decidability of The Equivalence Problem for Finitely Ambiguous Finance Automata. - Kosaburo Hashiguchi; Kenichi Ishiguro; Shuji Jimbo (Int. J. Algebra Comput., 2002)