BFS-Based Symmetry Breaking Predicates for DFA Identification.

Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto

Browse the full LATA paper archive.