computational learning
grammatical inference