介紹
圖靈機動態系統(Turing machine as a dynamic system)一種離散動態系統.指作為一種動態系統 而定義的圖靈機.它可用來描述或實現計算過程或 更一般的離散的、邏輯的演化過程，由英國數學家圖 靈(Turing, A. M.)於1936年提出.圖靈機常被表 示為由一個有限自動機控制紙帶左右移動，同時讓 讀寫頭讀出紙帶上的字元並加以改寫.這裡存貯紙 帶由無限長的方格串組成，每方格可寫人一個字元， 表示被加工的信息.控制自動機接收讀出的字元、變 換自己的狀態並發出的改寫指令，這代表了信息處 理的計算規則.除了計算，它還可對輸人的符號串進 行識別，可用於識別形式語言和可計算函式.圖靈還 提出了一種更加簡潔的通用圖靈機，在概念上完全 等同於至今沿用的存人程式式的電子計算機的原理 結構.其後出現的波斯特機、廣義圖靈機、王浩的W 機等，均為圖靈機的推廣和改進.
