Cyril Allauzen Mehryar Mohri Ashish Rastogi General Algorithms for Testing the Ambiguity of Finite Automata http://arxiv.org/abs/0802.3254 2008 CoRR abs/0802.3254 db/journals/corr/corr0802.html#abs-0802-3254 informal publication