2025年大学《数学与应用数学》专业题库——演算语言与形式语义学

考试时间：______分钟总分：______分姓名：______

一、选择题（每小题3分，共15分。请将正确选项的代表字母填写在答题纸上对应位置。）

1.下列哪个概念通常不被视为形式语言文法的基本组成部分？

A.字母表

B.产生式规则

C.语义解释函数

D.初始符号

2.在λ演算中，规则λx.E→E[x/x]称为？

A.α-转换

B.β-转换

C.η-转换

D.演算归约

3.一阶谓词逻辑的语义解释（模型）通常包