全部来自 AI 原创生成并经逐题审校的题目，带 精品 标记的为 AI 复审通过。整卷生成请去组卷。
某语言中，a 的类型为 int，b 的类型为 bool，c 的类型为 real。类型检查规则：int 可隐式转换为 real，real 不可隐式转换为 int；逻辑运算符“且”要求两个操作数均为 bool 类型；条件表达式 if(E) x else y 要求 E 为 bool 类型，且 x、y 类型一致。设有声明 int x; real y;，则语句 if(a 且 c) x else y 通过类型检查。
登录后查看答案
判断题：某编译程序在处理嵌套分程序结构时，将符号表组织为栈式结构，每进入一个内层分程序就建立一张新表并压栈，退出时弹栈。已知在当前分程序中查找标识符时，若本层查不到，则沿栈向更外层的表继续查找。有同学据此认为：既然退出分程序时该层表已弹栈销毁，那么在内层分程序中允许引用外层声明的同名标识符，等价于允许在内层重新声明该标识符并修改其属性，因为查找总会命中内层新声明的那个。该观点是否正确？
判断：四元式 (＋, m, n, t₁) 表示的三地址码是 m = n ＋ t₁。
完全 DFA 的状态集为 {A,B,C,D,E}，初态为 A，终态集为 {E}，字母表为 {0,1}。转移为：A 读 0 到 C、读 1 到 B；B 读 0 到 C、读 1 到 A；C 读 0 到 D、读 1 到 A；D 读 0 到 E、读 1 到 A；E 读 0 到 E、读 1 到 A。判断：该 DFA 最小化后仍有 5 个状态，因为 A 与 B 在输入 1 下转移到不同状态。
判断：对于一个NFA，某个状态在某输入符号下的转移可以为空（即δ无定义），但将其确定化为等价的DFA后，DFA的每个状态在任何输入符号下都必须恰好有一个后继状态（死状态也算有后继）。
判断题：某高校开发智能评优系统，训练数据取自近十年各院系上报的评优记录，而历史上理工科学院的推荐名额远多于文科学院。系统设计者认为：由于模型只是忠实学习并拟合了训练数据中的分布规律，只要模型本身算法正确、预测准确率高，其输出结果就不存在算法偏见问题。即使训练数据本身含有结构性偏差，这种偏差也会随着模型训练而被自然消除，不会在输出中被继承或放大。
某企业拟发布用户消费数据集。其方案是：仅对最终统计结果加入噪声使其满足差分隐私，而每条原始记录仍完整保留用户姓名与精确位置。负责人据此宣称：由于发布内容满足差分隐私，原始数据的匿名化处理已不再必要，个体隐私已得到完全保护。请判断这一说法是否正确。
判断：为降低生成式人工智能被用于批量制造虚假内容等滥用风险，仅提升模型生成内容的准确性即可，无须配套使用访问控制、风险监测等治理措施。
某围棋智能体每次决策时都能读取完整棋盘，双方落子规则确定，且在它思考期间对手不落子；某自动驾驶智能体无法获知被遮挡车辆的状态，其他交通参与者会持续移动，且相同驾驶动作可能因路面状况不同而产生不同结果。判断：围棋环境是完全可观察、确定、静态的；自动驾驶环境是部分可观察、随机、动态的。
判断：某智能体在迷宫中只能看到相邻格子的状况，且移动时可能因地面湿滑而随机偏移，但只要它停下不动，迷宫环境就保持不变。据此可将该环境的性质判定为：部分可观察、随机、静态。
判断：温室智能体读取温湿度后决定是否开启通风窗。若开窗改变了温室环境，下一轮感知仍应以开窗前的环境为准，因为行动只是输出，不会进入后续感知决策循环。
判断：一幅高 23 像素、宽 14 像素的 RGB 图像，若每个通道用 5 位表示，可记为 23×14×3 的数值张量，通道值范围为 0 至 31；同尺寸、每像素用 5 位表示的灰度图，可记为 23×14 的数值矩阵，每个像素值范围也为 0 至 31。
机器翻译与文本生成的输出都可以是自然语言文本，因此仅凭二者的输入输出关系无法区分这两类任务。
某文本模型先在覆盖多领域的海量未标注语料上预训练，随后获得少量某类文本分类标注样本。有人认为，预训练已学到通用语言规律，因此只要直接使用预训练模型完成分类，就等同于经过微调；判断此说法是否正确。
判断：情感分析接收一段评论并输出情感类别，由于输出也是文字，因此属于文本生成任务。
设字母表 Σ={a,b}，连接、并及 Kleene 星分别用并置、|、* 表示。判断：正则表达式 (a|ba)*b 表示所有至少含一个 b 且不含子串 bb 的字符串。
某语言处理系统有两条处理路径：路径甲在源程序开始运行前，将整个源程序翻译成目标程序；路径乙在源程序运行过程中，逐条翻译源语句并立即执行，不预先生成完整目标程序。小周认为，两条路径都进行了翻译，因此两者都属于解释方式。判断小周的说法是否正确。
判断：某语言处理系统对源程序的处理方式是——先把整个源程序完整翻译成等价的目标程序并保存，然后再由用户在任意时刻多次运行该目标程序，每次运行都无需再接触源程序。小张认为：由于该系统在每次运行目标程序时都不再进行翻译工作，所以该系统属于解释方式而非编译方式。
判断题：在编译器的前端与后端划分中，前端只依赖于源语言，后端只依赖于目标机器，因此两个部分可以独立开发、自由组合。
某金融机构使用人工智能模型辅助信贷审批。有人认为，只要模型能为拒绝申请给出清晰、连贯的理由，审核人员就无需再核查决策依据，因为可解释性本身已证明审批结论正确。判断该说法是否正确。