【正确答案】 D

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