圖靈機

圖靈機  ， 又稱確定型圖靈機 ， 是英國數學家艾倫 · 圖靈於1936年提出的一種將人的計算行爲抽象化的數學邏輯機 ， 其更抽象的意義爲一種計算模型 ， 可以看作等價於任何有限邏輯數學過程的終極強大邏輯機器 。