形式语言与自动机导论

本书主要介绍了形式语言、自动机、可计算性和相关内容。书中通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。