计算理论考试习题整理
·
习题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.

DAMO开发者矩阵,由阿里巴巴达摩院和中国互联网协会联合发起,致力于探讨最前沿的技术趋势与应用成果,搭建高质量的交流与分享平台,推动技术创新与产业应用链接,围绕“人工智能与新型计算”构建开放共享的开发者生态。
更多推荐



所有评论(0)