语法的归纳