An Efficient Algorithm for Local Testability Problem of Finite State Automata.

Sam M. Kim, Robert McNaughton

Browse the full COCOON paper archive.