計算理論I(安本担当分:チューリング機械と決定不能性) 2009年第I期


講義日程・教室

講義資料

※ 講義資料は原則的に講義日の前日までにアップロードします.受講者は事前に印刷しておいてください.
(注意)見やすさのため,縮小印刷しないでください.できればカラー印刷してください.

練習問題解答例

講義資料の訂正

Q&A

参考書

  1. M. Sipser: Introduction to the Theory of Computation Second Edition, Course Technology, 2005
  2. 野崎,高橋,町田,山崎訳:“オートマトン言語理論 計算論II  [第2版]”、サイエンス社、2003
  3. J.E.Hopcroft, R.Motwani and J.D.Ullman: Introduction to Automata Theory, Languages, and Computation second edition, Addison-Wesley, 2000
  4. 丸岡 章 : 計算理論とオートマトン言語理論、サイエンス社、2005
  5. 岩間一雄:オートマトン・言語と計算理論、コロナ社、2003