《形式语言与自动机》期末测试题.doc

《形式语言与自动机》期末测试题 （规定时间：2小时） 学号 姓名 1. (12 pts) 选择填空（多选）： (a) 由正规表达式 a* 定义的语言 ； A,C（或只回答 C） (b) 语言 {a m b m(m (0} ； B (c) 语言 {a mb m c m(m (0} ； D (d) 语言 {a m b n c m(m,n (0} ； B (e) 对角化（diagonalization）语言 Ld ；F (f) 通用语言（universal）语言 Lu ；E 供选择的答案： A. 是某个有限状态自动机的语言； B. 是某个下推自动机的语言, 但不是任何有限状态自动机的语言； C. 是某个有限状态自动机的语言,但不是任何空栈接受方式的确定下推自动机的语言； D. 是某个可停机的图灵机的语言, 但不是任何下推自动机的语言； E. 是某个图灵机的语言, 但不是任何可停机的图灵机的语言； F. 不是任何图灵机的语言. 2. (7 pts) 图灵机（{ q0, q1, q2, q3 }, { 0,1 }, { 0,1,B }, (, q0, B, {q3 }）有如下转移规则： (（q0, 0）=（q1,1, R） (（q1, 1）=（q2, 0, L） (（q2, 1）=（q0, 1, R） (（q1, B）=（q3, B, R） 给出从初始ID q00110开始, 该图灵机可以到达的完整的ID序列, 直到它停机 . 3. (12 pts) 设有四个语言（或问题）A，B，C 和 D. 这些语言可以是，也可以不是递归可枚举语言，但已知如下条件： （此题出得不好） A 可以归约到 B（不一定是多项式时间归约，下同）； B 可以归约到 C； D 可以归约到 C； 对于以下 6 个命题，分别指出它们是“真”，或是“假”，或是“不能确定”： (a) A 是递归可枚举的但不是递归的，而 C 是递归的. 假（A 不是递归的与C是递归的不可能同时成立） (b) B 不是递归的，而 D 是递归可枚举的. 不能确定 (c) A 的补不是递归可枚举的，而 B 的补是递归可枚举的. 不能确定 (d) B 的补不是递归的，而 C 的补是递归的. 假 (e) 如果 A 是递归的，那么 B 的补是递归的. 不能确定 (f) 如果 C 是递归的，那么 D 的补是递归的. 真 4. (11 pts) 文法 G 的产生式集合为： S(AS(b, A(BB(a(b, B(BA(a. 下面的左图表示对于文法 G 和字符串 ababb 应用 CYK 算法时所构造的表，各集合与表元素符号之间的对应关系可参照右边的图. 试问 (a) 计算 X15 时与哪几对表元素相关？ (5 pts) (b) X15 = ？ (5 pts) {S,A,B} (c) 是否有 ababb ( L(G)? (1 pt) Yes 5. (8 pts) 对于正规语言和上下文无关语言两类语言，分别指出下列四个问题是否可判定的： (a) 给定该语言类中的任一语言 L，判定 L 是否为空？ 都可以 (b) 给定该语言类中的任一语言 L 和任何字符串 w，判定 w 是否属于 L？. 都可以 (c) 给定该语言类中的语言 L 和 M，判定 L 是否与 M 相等？. 对正规语言可以，对上下文无关语言不可以 对于递归语言和递归可枚举语言两类语言，分别指出上述问题（b）是否可判定的：对递归语言可以，对递归可枚举语言不可以 6. (15 pts) 对下面描述每一对语言，指出以下 4 种选择中的哪一个正确表达了它们之间的关系： （1）(（2）：语言（1）是语言（2）的真子集； （1）(（2）：语言（2）是语言（1）的真子集； （1）(（2）：语言（1）和语言（2）相等； （1）？（2）：语言（1）和语言（2）之间没有包含关系，即（1）中的某些串不在（2）中，（2）中的某些串不在（1）中. (a) （1）产生式集为 S(0S1(1S0(( 的 CFG 的语言. （2）正规表达式 (0+1)* 的语言. （1）(（2）. (2) generates all strings of 0s and 1s, while (1) doesnt generate strings like 11, or any odd-length string. (b) （1）以终态方式接受的 PDA （{ p，q }，{ 0,1 }，{ X,Z }，(，q，Z，{ p }）的语言，其中 ( 转移包括： ((q,0,