在以阶段划分的编译中，判断程序语句的形式是否正确属于( ) 阶段的工作。