编译程序的核心部分，叫（），其任务就是检查源程序在语法上是否（）。