在字符串的模式匹配过程中，如果模式串的每个字符依次和主串中一个连续的字符序列相等，则称为匹配成功。如果不能在主串中找到与模式串相同的于串，则称为匹配失败。在布鲁特—福斯模式匹配算法（朴素的或基本的模式匹配）中，若主串和模式串的长度分别为n和m（且n远大于m），且恰好在主串末尾的m个字符处匹配成功，则在上述的模式匹配过程中，字符的比较次数最多为（）。

单项选择题以下关于程序错误的叙述中，正确的是（）。

A．编译正确的程序必然不包含语法错误
B．编译正确的程序必然不包含语义错误
C．除数为0的错误可以在语义分析阶段检查出来
D．除数为0的错误可以在语法分析阶段检查出来

单项选择题在对程序语言进行翻译的过程中，常采用一些与之等价的中间代码表示形式。常用的中间代码表示不包括（）。

A．树
B．后缀式
C．四元式
D．正则式