UGC NET CS 2015 年 12 月 – III |问题 30

问题描述

问题 30 与计算机科学相关的下列说法中，哪一个是错的？

A) 素数性可能由质因数分解来检验。 B) 浮点数算术运算不满足可结合律。 C) 正规文法能够被带有下推自动机的上下文无关文法识别。 D) 归约是推导的相反过程。

从给定的选项（A、B、C、D）中选择一个错误的说法。

答案选项解析

让我们逐个解析选项并找出错误的说法：

A) 素数性可能由质因数分解来检验：这是正确的说法。判断一个数是否为素数的一个常见方法就是通过质因数分解，将这个数分解为其他数的乘积。

B) 浮点数算术运算不满足可结合律：这也是正确的说法。在浮点数算术中，由于精度的限制，浮点数的加法和乘法运算不满足可结合律。

C) 正规文法能够被带有下推自动机的上下文无关文法识别：这是正确的说法。正规文法是上下文无关文法的一个子集，而下推自动机是上下文无关文法的一种识别工具。

D) 归约是推导的相反过程：这是错误的说法。归约是推导的一部分，而不是相反过程。在语法分析过程中，推导是根据产生式规则展开语法树，而归约是将规约语法树折叠回产生式规则。

综上所述，选项 B 是错误的说法。

返回Markdown格式的代码片段

## UGC NET CS 2015 年 12 月 – III |问题 30

### 问题描述

问题 30 与计算机科学相关的下列说法中，哪一个是错的？

A) 素数性可能由质因数分解来检验。
B) 浮点数算术运算不满足可结合律。
C) 正规文法能够被带有下推自动机的上下文无关文法识别。
D) 归约是推导的相反过程。

从给定的选项（A、B、C、D）中选择一个错误的说法。

### 答案选项解析

让我们逐个解析选项并找出错误的说法：

A) 素数性可能由质因数分解来检验：这是正确的说法。判断一个数是否为素数的一个常见方法就是通过质因数分解，将这个数分解为其他数的乘积。

B) 浮点数算术运算不满足可结合律：这也是正确的说法。在浮点数算术中，由于精度的限制，浮点数的加法和乘法运算不满足可结合律。

C) 正规文法能够被带有下推自动机的上下文无关文法识别：这是正确的说法。正规文法是上下文无关文法的一个子集，而下推自动机是上下文无关文法的一种识别工具。

D) 归约是推导的相反过程：这是错误的说法。归约是推导的一部分，而不是相反过程。在语法分析过程中，推导是根据产生式规则展开语法树，而归约是将规约语法树折叠回产生式规则。

综上所述，选项 B 是错误的说法。

请注意，以上代码片段返回的是使用Markdown格式编写的文本，其中包括问题描述、答案选项解析和问题答案的详细说明。