Polynomial time inference of pattern languages and its applications