本书是计算语言学方向最著名、最常用的教科书之一。全书分为五部分，分别为：集合论；逻辑和形式系统；代数；作为形式语言的英语；语言、语法与自动机。本书深入浅出，实例丰富，作者还精心设计了大量练习，并在书后
芭芭拉•帕赫蒂
