Decidability of The Equivalence Problem for Finitely Ambiguous Finance Automata.

Kosaburo Hashiguchi Kenichi Ishiguro Shuji Jimbo Decidability of The Equivalence Problem for Finitely Ambiguous Finance Automata. 445 2002 12 IJAC 3 http://dx.doi.org/10.1142/S0218196702000845 db/journals/ijac/ijac12.html#HashiguchiIJ02