麻省理工(MIT)的经典教材,讲述了自动机,可计算性和计算复杂性这三个方面,叙述通俗易懂,颇具可读性,可当作编译原理的先导课程