参考答案

正确答案：A
解析：程序错误一般分为语法错误和语义错误两种类型。其中，语法是形式上的错误，语义错误是意义上的错误，编译程序能够发现程序中的所有语法错误。本题中编译程序对源程序语法分析时可以找出形式上的错误，即变量是否定义，而不能找出意义上的错误，如BCD。