作者	张立昂
出版社
出版时间	2006-07-01

特色：

本书介绍了计算机理论*核心、*基础内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。