唐常杰翻译的计算理论导引7.pptVIP

Lecture Notes for Computation Outline for today Cook-Levin Theorem ep254, cp169 Cook-Levin Theorem ep254, cp169 证明思路 （”任意”二字要求能刻画共性的方法） 证明思路 (这里，语言任意， 派生路径是共性） More Proof Outline 详细步骤 More Proof Outline 详细步骤 Accepting Path of N on w ep255, cp170 Size of Path of N on w ep255 cp170 How ? Describes the Tableau How ? Describes the Cells cp170 复习 以前讲过的函数ONE(…) 合取式 cp170 ?cell for Proper Cells ep255 , cp 170 ?start for the Start Configuration ep256 ?accept for Accepting ep256 ?move for Proper Transitions ep258, cp170 Legal Windows 转移窗口的检查 ep 257 cp170 More