浙江大學計算機考博資料

2000年春博題目（是99年秋天考的）。 r?$V;Z  
計算理論 *Tum(wWZ  
一、1、根據圖靈機理論,說明現代計算機系統的理論基礎。 O\+b1+&b3Y  
2、說明按喬姆斯基分類，語言、文法、自動機的關系 \n<9R8g5  
一、     證明 HALT(X ` 1,X)不是可計算的。 eq6>C7.$  
三、1、證明遞歸集都是遞歸可枚舉集。 V]5MIiNl  
2、舉例屬于遞歸可枚舉集但不是遞歸集的集合，并證明之。 xS+!/pBf"Y  
四、1、證明L={（a，b）*|a，b的個數相同}為上下文無關語言。 k4-S :kVo  
2、并證明其不是正則的。 '',g}WvRwe  
2000年4月 5rH?FQ E  
人工智能 ,.z?=]'en亚洲国产精品va在线观看麻豆