General Algorithms for Testing the Ambiguity of Finite Automata and the Double-Tape Ambiguity of Finite-State Transducers

Ashish Rastogi
International Journal of Foundations of Computer Science, 22(2011), pp. 883-904
Google Scholar

Abstract