（外作）氣動樂高圖靈機

lyonfish

一群來自里昂高等師範學院的資訊工程系學生用樂高建造了一臺相當完整的圖靈機複製品。這臺圖靈機由2萬種元件組成，其中包含32臺氣壓缸、50公尺長的風管和一千顆以上的齒輪！

圖靈機的構造包括紙帶、能在紙帶上讀取和寫下符號的讀寫頭、能儲存機器目前狀態的狀態暫存器，還有一組能儲存寫下和擦除符號過程的動作表。
現在想像一下，這些都是用樂高完成的...
[size=12.800000190734863px]http://www.makezine.com.tw/1/post/2014/01/74.html
[size=12.800000190734863px]
[size=12.800000190734863px]http://www.dailymotion.com/video/xrmfie_the-turing-machine-comes-true_tech

Gaddy

Turing Machine就目前計算機能力的基礎雛形.

沒有任何計算機計算能力超過Turing Machine!

換句話說是:
任何形式的計算機計算能力都可以轉變成Turing Machine的計算形式.

也就是說目前所有的計算機計算能力與形式,
只不過是Turing Machine的複雜化.

Turing Machine之所以偉大就是這樣!

不下呂布

Turning Machine這玩意我一直也沒有完全懂~

幫你從wiki上找一些資料XD:
圖靈機，又稱確定型圖靈機，是英國數學家阿蘭·圖靈於1936年提出的一種抽象計算模型，其更抽象的意義為一種數學邏輯機，可以看作等價於任何有限邏輯數學過程的終極強大邏輯機器。

圖靈的基本思想是用機器來模擬人們用紙筆進行數學運算的過程，他把這樣的過程看作下列兩種簡單的動作：
在紙上寫上或擦除某個符號；
把注意力從紙的一個位置移動到另一個位置；
而在每個階段，人要決定下一步的動作，依賴於（a）此人當前所關注的紙上某個位置的符號和（b）此人當前思維的狀態。
為了模擬人的這種運算過程，圖靈構造出一台假想的機器，該機器由以下幾個部分組成：
一條無限長的紙帶TAPE。紙帶被劃分為一個接一個的小格子，每個格子上包含一個來自有限字母表的符號，字母表中有一個特殊的符號\square表示空白。紙帶上的格子從左到右依次被編號為0, 1, 2, ...，紙帶的右端可以無限伸展。
一個讀寫頭HEAD。該讀寫頭可以在紙帶上左右移動，它能讀出當前所指的格子上的符號，並能改變當前格子上的符號。
一套控制規則TABLE。它根據當前機器所處的狀態以及當前讀寫頭所指的格子上的符號來確定讀寫頭下一步的動作，並改變狀態暫存器的值，令機器進入一個新的狀態。
一個狀態暫存器。它用來保存圖靈機當前所處的狀態。圖靈機的所有可能狀態的數目是有限的，並且有一個特殊的狀態，稱為停機狀態。參見停機問題。
注意這個機器的每一部分都是有限的，但它有一個潛在的無限長的紙帶，因此這種機器只是一個理想的設備。圖靈認為這樣的一台機器就能模擬人類所能進行的任何計算過程。

至於下面的definition就不貼了XD

oldouch

圖靈機到底是用在資訊什麼地方呢?需要2萬種元件那麼多來組成?