Computing the Order of a Locally Testable Automaton

Sam M. Kim, Robert McNaughton. Computing the Order of a Locally Testable Automaton. SIAM Journal on Computing, 23(6):1193-1215, 1994.

Abstract

Abstract is missing.