Introduction To The Theory Of Computation。一本很经典的关于计算复杂度理论的书