Computation theory 1

less than 1 minute read

Turing Machin, TM

为了形式化描述图灵机做什么,需要开发顺势描述(instantaneous description,ID)的记号。将要适用字符串$X_1X_2…X_{i-1}qX_iX_{i+1}…X_n$来表示ID,其中

  1. q是TM的状态
  2. 带头正在扫描左起第i个符号
  3. $X_1X_2…X_n$是带的最左边与最右边非空格之间的部分