计算理论考试习题整理

习题1 将NFA转化为DFA

习题   正则表达式转化为NFA

习题   将上下文无关文法G转换成乔姆斯基范式

习题2 构造识别语言A的DFA 画出状态转移图

习题3 给出产生下述语言的上下文无关文法

习题4 证明可判定语言类在下列运算下封闭（连接运算 补运算）

习题5 蕴含

习题6 上下文无关语言在并运算下封闭，举例说明上下文无关语法在交运算下不一定封闭

习题7 设A是正则表达式，证明A是可判定的

习题8 描述G1产生的语言

习题9 构造识别语言的PDA，要求给出相应的形式描述，并画出状态转移图。

习题1 将NFA转化为DFA

习题2   正则表达式转化为NFA

 

习题 3  将上下文无关文法G转换成乔姆斯基范式

1、添加新初始变元S0和规则，将S0引向旧初始变元

2、若变元不是初始变元,则删除变元—>e,  

 

但是又出现A-> 规则

 由于S-》S无意义，因此可以删除掉

 3、处理所有单一规则

换掉S 

换掉B 

 换掉S

  4、元素二化

 

5、对每个终结符ai，引入变元Ui和规则Ui®ai.