discovery procedure

noun

, Linguistics.

1. 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.