作者	林兹
出版社
出版时间	2005-09-01

特色：

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