非常经典的计算理论的书籍,全名 Introduction to Languages and the theory of computation. 内容生动,易于理解