Deducing a grammar from given examples. Also known as "inductive inference" and recently as "computational learning".