计算模型 计算机算法的设计与分析（第3版） .ppt

计算模型;随机存取机RAM;随机存取机RAM;随机存取机RAM;图灵机;图灵机;A Turing Machine;The Tape;......;......;......;The Input String;;States Transitions;Example:;......;......;......;Determinism;Partial Transition Function;Halting;Example:;Final States;Acceptance;Turing Machine Example;Time 0;Time 1;Time 2;Time 3;Time 4;Rejection Example;Time 1;Infinite Loop Example;Time 0;Time 1;Time 2;Time 2;Because of the infinite loop: The final state cannot be reached The machine never halts The input is not accepted;Another Turing Machine Example;Time 0;Time 1;Time 2;Time 3;Time 4;Time 5;Time 6;Time 7;Time 8;Time 9;Time 10;Time 11;Time 12;Halt Accept;If we modify the machine for the language ;Formal Definitionsfor Turing Machines;Transition Function;Transition Function;;Configuration;Time 4;Time 4;Equivalent notation:;Initial configuration:;The Accepted Language;Standard Turing Machine;Computing FunctionswithTuring Machines;;A function may have many parameters:;Integer Domain;Definition:;Initial Configuration;Example;Start;Start;Finish;Turing machine for function;Execution Example:;Time 0;Time 1;Time 2;Time 3;Time 4;Time 5;Time 6;Time 7;Time 8;Time 9;Time 10;Time 11;HALT accept;Another Example;Start;Turing Machine Pseudocode for ;Turing Machine for ;Example;Another Example;Turing Machine for;Turing Machine Pseudocode:;Combining Turing Machines;Block Diagram;Example: