002两种计算模型

1、TM模型（Turing machine图灵机）

5个特点：
①Tape 带，又称磁带。依次均匀地划分为单元格，各注有某一字符，默认所有的格子都标记为一个特定的字符，比如#；
②Alphabet 字符的种类有限；
③Head 头，总是对准某一单元格，并可读取和改写其中的字符。
每经过一个节拍，可转向左侧和右侧的邻格。
④State TM总是处于有限种状态中的某一种。
每经过一个节拍，可（按规则）转向另一种状态。
⑤Transition Function：（q，c；d，L/R，p）
若当前状态为q且当前字符为c，则将当前字符改写为d；转向左侧/右侧的邻格；转入p状态。
一旦转入特定的状态h（举例），则停机。

2、RAM模型（Random Access Machine）

10种可行语句：
R[i] ← c （等同于间接取址）R[i] ← R[R[j]]
R[i] ← R[j]
R[R[i]] ← R[j]
R[i] ← R[j] + R[k]
R[i] ← R[j] - R[k]
IF R[i] = 0 GOTO 1
IF R[i] > 0 GOTO 1
GOTO 1
STOP