Text this: Grammatical inference: theoretical results and applications