2000年春博题目(是99年秋天考的)。 NhU~'k
计算理论 qRZv[T%*Q
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 >7V96jL$Y
2、说明按乔姆斯基分类,语言、文法、自动机的关系 nD@/,kw"
一、 证明 HALT(X ` 1,X)不是可计算的。 ]bLI!2Kr
三、1、证明递归集都是递归可枚举集。 `*g(_EZsS
2、举例属于递归可枚举集但不是递归集的集合,并证明之。 U5\^[~vW
四、1、证明L={(a,b)*|a,b的个数相同}为上下文无关语言。 eyUguA<lK\
2、并证明其不是正则的。 kVz9}Xp"
2000年4月 d,8L-pT$FM
人工智能 >'ev_eAk
1 什么是知识表示?用框架系统表示你的卧室。 >HNBTc=~t
2 描述A算法(描述A*) { R
H&mu
3 专家系统模型?建立知识库(书上关于鸟类的例子)。 tg-U x
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 -
:cBVu-m
4 什么是自然语言的理解?写出下列句子的句法分析树。 HVjN<H IqM
1)I WANTED YOU TO DO SOMTHING. *U>"_h T0
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. nilis-Bk_
2000年10月 7>.d*?eao\
操作系统 y_mTO4\C2
1 产生死锁的必要条件。 wN
NXUW
2 写出生产者和消费者的互斥程序(书上的例子)。 tV?-
3 写出可对文件和目录进行的操作。 GdN9bA&,
虚拟存储页面置换的几种算法。 n8 UG{.
=
计算理论 W(5XcP(
1、 |7%has3"
(1)给出图灵机的格局、计算及图灵机μ计算函数f的精确定义。 Nk63F&J7e
(2 ) 对图灵机模型而言,church论题是什么? hY5GNYDh
(3)当x是完全平方时值为3x,否则为3x+1证明其是原始递归函数。 wqxChTbs
2、证明φ(X,X)是不可计算的。 ZLDO&
}
3、证明L={ambn|m,n>0,m≠n}是上下文无关的,但不是正则的。 h;Hg/jv
4、A为有穷字母表,L是A*的无穷子集, !;3hN$5
(1) 证明存在无穷序列ω0,ω1,ω2…,它由L的所有字组成,每个字恰好在其中只出现一次。 o5B]? ekpq
(2) 是否存在从L构造序列ω0,ω1,ω2…,的算法(即i由计算ωi),为什么? !78P+i
人工智能 &|-jU+r}B
1 试构造一个描述你的办公室的语义网络表示系统。 lvAKL>qX
2 何谓人工智能中的搜索问题?试采用宽度搜索方法解决机器人JACK搬运积木问题。 ?;]Xc~
(初态:积木B、C放在桌上,积木A放在B上面 VTUSM{TC
目标态:积木C放在桌上,B在C上面,A在B上面) buldA5*!o
3、描述基于规则的的系统结构?采用IF-THEN 规则形式,写出产生式系统的规则知识库。(书上关于哺乳动物的例子) f
rokl5L@
体系结构 ~|G`f\Ln"
1 CPU响应时间计算公式,列举可减少响应时间的相关技术。 cG"wj$'w
2 两种多发射技术的特点和异同。 b*(,W
3 关于循环体的相关性分析(书后习题)。 \3&