1樓：hhhhhhhhh
這個問題不是一句兩句就能解釋清楚的。。。
看題主到底希望了解圖靈機的哪個方面了。。。
是關於 halting problem 之類的還是關於圖靈機的定義設定，還是圖靈機的模型證明了什麼。
要說看什麼書的話：計算理論導引（原書第3版） Michael Sipser R19028 ［美］西普塞 這個一本就行了
我覺得如果要完全理解圖靈機和 lambda calculus 還是要從 regular grammar， definite finite automaton 到 context free grammar 和 definite finite automaton with stack。最後再了解 pumping lemma。
之後再說圖靈機就更明白一些了。
因為這些並不是能在乙個答案裡面說完的，我就不寫了。如果題主有特別感興趣的地方，回覆之後我會更新我的答案
2樓：小剛桑
對圖靈機原型的直觀理解很難，因為一次只能讀寫0 和 1（一般計算機能讀寫64位），只能左右跳一步（一般計算機根據位址隨便跳），比直接用機器碼程式設計還要難，所以不要糾結了。
但圖靈機引入的概念其實並不複雜，相當於乙個有限狀態機 + Memory, 狀態機不難理解，直觀一點比如不太貴的計算器，其實圖靈機以前，帕斯卡，萊布尼茲，搞得都是計算器，叫的逼格高一點就是有限狀態機。有限狀態機加上無限長磁帶（其實就是記憶體的概念）就是圖靈機了。而狀態機其實又相當於圖靈機只能讀，而且只能在磁帶上往乙個方向走。
記憶體又其實是把狀態機的可能狀態變成無限了。
3樓：
Introduction to the theory of computation.
直接看Church-turing thesis那一章。
4樓：
我看了一下維基百科上的解釋，覺得從概念上似乎還比較好懂的，題主不能明白的是什麼方面呢？如果是公式（理論）的話，我手頭上的確有兩本還比較淺顯易懂的教科書。但可惜都是英文版本：
Automata Computability & Complexity, Elaine Rich - Automata, Computability and Complexity (豆瓣)
Introduction to the Theory of computation, Sipser - Introduction to the Theory of Computation (豆瓣)
計算機 computer 圖靈機 是否可以描述非原始遞迴函式
硫氯 我是這麼理解你的問題，如何用圖靈機的方式定義原始遞迴函式。我能找到最接近的答案是這個問題裡的定理 但這個描述引用了primitive recursive的概念。問題比較專業，上mathoverflow問問吧。至於其他問題 原始遞迴函式可以通過程式設計實現所以叫可程式設計函式，但可程式設計的函式...
有沒有比圖靈機能力更強的計算模型？
有的是。但是根據Landauer原理和能量守恆定律，乙個都造不出來。首先教你乙個規則，只要你能打破這個規則，超越圖靈機的計算模型要多少有多少。這個規則就是 在有限時間內只能操縱有限個位元。在有限時間內操縱有限個位元的計算模型，圖靈機就是最強的 數學詳見 什麼是圖靈完備？量子圖靈機在某些問題上會比普通...
圖靈機與 演算是等價的，為什麼前者成為了普遍接受的計算機或計算理論的模型？
因為很多人都回答了我只是想澄清一下.圖靈機也是做不出來的.因為長度是要無限的.有限長度的圖靈機和 DFA 是等價的，也就是其實和 演算是不等價的.雖然現代程式語言是圖靈完全的，但是和圖靈機本來的操作方法是差了非常多的.如果要寫得像一點的話估計就是 goto 指標滿天飛舞的情況.和現代程式設計體驗也是...