参考答案：D

解析： 程序中的错误分为语法错误和语义错误两种。一般情况下，语法是关于程序结构的规则，语法错误是形式上的错误，这类错误编译器可以检查出来。括号不匹配和关键字拼写错误是关于语言结构的错误，是两种常见的语法错误。
语义错误是程序含义(功能)上的错误，可分为静态语义错误和动态语义错误。静态语义错误编译器可以检查出来。动态语义反映程序的逻辑，这种错误发生在程序运行期间，常见的逻辑错误有0作为除数、死循环和无穷递归等，编译时检查不出这类错误。