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的边界。