2006年秋本科试卷b-答案.docVIP

2006年秋《计算理论基础》本科生试卷 填空题 1、上下文无关文法是4元组 V, ,R,S ，其中：（1）V是一个有穷集合，称为变元 非终结符 集合；（2） V ，有穷集，称为终结符集，字母表，（3）R为规则集，有穷集，Ri:x w，x V,w V *，（4）S V,称为起始符。 2、确定型自动机M接受字符串w a1a2…an，是指存在状态r0,r1,…,rn，满足：（1）r0 q0；（2） ri,ai+1 ri+1；（3）rn F。 、确定型自动机转换为非确定型自动机的方法是不进行任何操作 的自动机为，表示空集 的自动机，表示单字符a的自动机为。 5、如果上下文无关文法为：（1）A BC，其中A,B,C为任意变元，B，C不是起始变元；（2）A a；a是终结符；（3）S ；S为开始符号即接受空串，则称为乔姆斯基范式。 6、非确定型下推自动机是一个6元组 Q, , , ,q0,F ,其中：（1）Q为有穷状态集；（2） 为输入字母表；（3） 为栈字母表；（4） ：Q P Q ；（5）q0 Q是初始状态；（6）F Q是接受状态集。 7、对于上下文无关语言的任意字符串s，当其长度 p（泵长度）时，则一定存在满足“|xy| 0、|vxy| p”分解方式S uvxyz，使得“任意i 0，uvixyiz A”。这是上下文无关语言的性质，基于此性质并利用反证法可证明一个语言