Inductive inference of formal languages from positive data (1980)

by Dana Angluin
Venue:Information and Control