关于形式语言、自动机理论和计算复杂性的经典教材,作者为JohnE.Hopcroft等