圖靈機Turing Machine

圖靈機Turing Machine
圖靈機是1936年，Alan Turing提出的一種抽象計算模型。基本思想是用機器模擬人們用紙筆進行數學運算的過程，但比數值計算更爲簡單。
圖靈機的基本概念：

• 在紙上寫上或擦除某個符號
• 把注意力從紙的一個位置轉向另一個位置
• 在每個階段，要決定下一步動作依賴於：（a）此人當前所關注的紙上某個位置的符號（b）此人當前思維的狀態
  圖靈機由以下幾部分構成：
  （1）一條無限長的分格紙袋，每格可以記錄1個符號
  （2）一個讀寫頭，可在紙帶上左右移動，能讀出和擦寫格子的字符
  （3）一個狀態寄存器，記錄有限狀態中的1個狀態
  （4）一系列有限的控制規則（每條規則都由5個部分來組成）
  • 當前狀態、當前讀入的字符
  • 要改寫成什麼字符
  • 要如何移動讀寫頭
  • 要改變爲什麼狀態