discovery procedure

any rigorous method by the application of which a grammar might be constructed from a corpus of utterances in a language; an algorithm leading from data to a formulation.