Inference of k-testable languages in the strict sense and application to syntactic pattern recognition | IEEE Journals & Magazine | IEEE Xplore