句法树校对程序