A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.

Sam M. Kim, Robert McNaughton, Robert McCloskey

Browse the full WADS paper archive.