文法推断属于形式语言的归纳学习问题，它研究如何从语言的有限信息出发，通过归纳推断得到语言的语法定义。文法推断根据给定的有限样本集推断产生该样本集所属语言类的文法规则的学习算法。它是句法模式识别（结构模式识别）的重要组成部分。