Computing the Order of a Locally Testable Automaton

Sam M. Kim, Robert McNaughton. Computing the Order of a Locally Testable Automaton. In Somenath Biswas, Kesav V. Nori, editors, Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Volume 560 of Lecture Notes in Computer Science, pages 186-211, Springer, 1991.

Abstract

Abstract is missing.