Text this: Grammatical Inference: Theoretical Results and Applications