计算理论05_图灵机.ppt

Lecture for Computation Theory;Outline for today;What do we really know? 引出问题;What do we really know? 引出问题;Describing a Language;Describing a Language;Describing a Language;计算机科学历史上关于概念的争论;计算机科学历史上关于概念的争论;计算机科学历史上关于概念的争论;计算机科学历史上关于概念的争论;Chap 3 Turing Machines ep125 cp87 ;Chap 3 Turing Machines ep125 cp 87 ;Chap 3 Turing Machines ep125 cp87 ;Chap 3 Turing Machines ep125 cp87 ;Informal Description TM ep 126 cp87;Informal Description TM ep 126 cp87;Informal Description TM ep 126 cp87;Input Convention ep126-128;Input Convention ep126-128;Input Convention ep126-128;Output Conventi