Grammatical Inference: Algorithms and Applications