浙江大学计算机考博真题2000年春博题目

计算理论
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 2、说明按乔姆斯基分类，语言、文法、自动机的关系二、证明 HALT(X ` 1,X)不是可计算的。

三、1、证明递归集都是递归可枚举集。2、举例属于递归可枚举集但不是递归集的集合，并证明之。
四、1、证明L={（a，b）*|a，b的个数相同}为上下文无关语言。 2、并证明其不是正则的。

评价一下你浏览此帖子的感受

精彩

分享到： QQ空间新浪微博腾讯微博人人网网易微博

回复引用

举报顶端

上一主题下一主题

考博论坛 » 考博见面礼

http://freekaobo.com
访问内容超出本站范围，不能确定是否安全
继续访问	取消访问

快速回复
	限 100 字节进入高级模式加粗字体颜色背景颜色插入链接图片验证问题: 免费考博论坛网址是什么? 正确答案:freekaobo.com 按"Ctrl+Enter"直接提交	上一个下一个