2025年计算机科学理论研究测试.docxVIP

2025年计算机科学理论研究测试

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

一、

1.设L是由字母Σ={a,b}构成的所有字符串组成的语言，其中字符串中a的个数是b的2倍。形式地描述该语言L。

2.给定下推自动机M=(Q,Σ,Γ,δ,q0,Z0)如下：

*Q={q0,q1,q2}，状态q2是接受状态。

*Σ={a,b}，输入字母表。

*Γ={Z0,X}，栈字母表。

*初始状态q0，初始栈符号Z0。

*转移函数δ定义如下：

*δ(q0,a,Z0)={(q0,aX)}

*δ(q0,b,Z0)={(q0,bZ0)}

*δ(q0,a,a)={(q0,aa)}

*δ(q0,b,a)={(q1,ε)}

*δ(q1,a,X)={(q2,ε)}

*δ(q1,b,X)={(q1,ε)}

*δ(q2,*,*)={(q2,*)}（*表示任意栈符号）

请：

a)说明该自