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

Sam M. Kim, Robert McNaughton, Robert McCloskey. A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata. IEEE Transactions on Computers, 40(10):1087-1093, 1991.

Abstract

Abstract is missing.