作者	(美)刘易斯、(希)帕帕蒂米特里奥/国别：中国大陆
出版社
出版时间	2006-07-01

特色：

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