0.1 Automata，Computability，and Complexity 本书的主旨可以浓缩为对如下问题的回答： " What are the fundamental capabilities and limitations of computers? " Automata定义了什么是computers；Problem是要解决的对象；Problem’s computability and complexity则试图分别从solvable or not和hard or easy的角度描绘出capabilities and limitations的边界。