Introductiontothetheoryofcomputation是由MIT教授MICHAELSIPSER写的经典教材,通俗易懂。