01 / 導讀
導讀
適合誰
適合研究生及基礎紮實的高年級本科生，在自動機入門之後拓寬理論視角。本書強調具體模型所耗資源，幫助把電路、有記憶機器和架構限制放在同一形式框架中。
需要的基礎
建議具備計算機組成、離散數學和證明能力，複習布林邏輯、圖、漸近分析和歸納。先學演算法有助於理解複雜度及資源取捨論證。
涵蓋內容
由邏輯電路和有記憶機器進入自動機、可計算性、代數電路及平行計算，後半發展複雜度類、電路複雜度、時空取捨、儲存層次和VLSI模型。
如何使用
選小問題並先明確輸入規模，再比較兩種模型；畫電路或機器狀態，按該模型的定義計數資源。重建模擬論證並指出額外開銷，分析下界依賴哪些假設、換模型後何以失效，不把儲存層次例子泛化成無限制機器結論。
版本與來源
作者完整電子釋出來自1998年Addison-Wesley作品並修正已知錯誤，權利已歸還作者。網站明確2008年7月電子版CC BY-NC-ND 3.0 US，電子開放日與原版年份、後續網頁更新分開。
