计算理论0_0计算理论教学计划.ppt

计算理论 Theory of Computation 计算理论 Theory of Computation * 计算理论 Theory of Computation */11 上海大学计算机学院计算理论课程说明和教学计划（2015.9-11） 学分3 周学时 4 任课教师 封卫兵 (wbfeng@.shu.edu.cn) 时间 每周三8:00 — 11:40 地点 计算机楼306 计算理论导引，唐常杰等译，机械工业出版社，2000 （Michael Sipser (MIT) Michael Sipser, Introduction to the Theory of Computation. PWS Publishing Company, 1997 ） (英文书的N章对应第一版中文的N+1章，页数不同，以中文为准。) 内容 Chapters 0 - 6 * 计算理论 Theory of Computation */11 选择教材 教材1：Harry R. Lewis, and Papadimitriou, Christos H., Elements of the Theory of Computation, 2nd ed. Prentice-Hall, 1997. 教材2: Michael Sipser, Introduction to the Theory of Computation. PWS Publishing Company, 1997 这两本书 是目前世界上主要大学采用最多的教材。 经验表明，如果学生数学基础好，用前者较好，如学生计算机基础好，用后者更受学生欢迎。 目前欧美大学中计算机专业用后者的大学越来越多。 * 计算理论 Theory of Computation */11 计算理论课程说明和教学计划 教材详略处理 讲要点，前后次序有少数调整， 教学计划，10周，重点是第二部分（可计算性理论）? 略讲或自学的部分，要求了解主要思想 Section 3.2 the proof that CFL = pushdown automata Section 6.1 linear bounded automata?????? Section 6.2?? Post correspondence problem 快讲的部分， 要求一般了解的章节， Section 7.2 Decidability of logical theories Section 7.3 Turing reducibility 其余未列出的部分要求深入掌握（作题目，通过考试） * 计算理论 Theory of Computation */11 计算理论导论目录 Week 1: Chapter 1: Introduction, mathematical notation, proof techniques Chapter 2: Deterministic finite automata (DFA), nondeterministic finite automata (NFA) Week 2: Chapter 2: DFA=NFA, regular expression (RE) Chapter 2: RE=NFA, nonregular languages/RE pumping lemma * 计算理论 Theory of Computation */11 计算理论导论目录 Week 3: Chapter 3: Context-free grammars (CFG), Chomsky normal form, all RL are CFG ? Chapter 3: Pushdown automata (PDA), Non-CF languages/CFL pumping lemma? Week 4: Chapter 4: Turing machines (TMs), TM decidable languages, TM recognizable languages, Equivalence between multitape TMs ? * 计算理论 Theory of Computation */11 计算理论导论目录 Week 5: Chapter 5: Equivalence between nondeterministic TMs and other models, Church-Turing thesis, Decidab