2006年秋《计算理论基础》本科生试卷填空题1上下文无关文法是4元组(V?RS)其中:(1)V是一个有穷集合称为变元(非终结符)集合(2)??V={}有穷集称为终结符集字母表(3)R为规则集有穷集Ri:x??Vw?(??V)(4)S?V称为起始符2确定型自动机M接受字符串w=a1a2…an是指存在状态r0r1…rn满足:(1)r0=q0(2)?(riai1)=ri1(3)rn?F3确定型