一本很经典的计算理论教材,详细的描述了图灵机的特点