Grammatical Inference and Applications