(美)塞普瑟(Sipser,M.)著;唐常杰等译2006 年出版269 页ISBN:7111190289
本书系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。
(美)(W.奥塞)Wayne Ause,(美)(S.阿尔帕吉安)Scott Arpajian著;龚杰等译1997 年出版205 页ISBN:7505341375
(美)(J.沃尔肯巴赫)John Walkenbach著;钟杰等译1999 年出版740 页ISBN:7115082197
(美)丹尼斯·迪帕斯奎尔(Denise Dipasquale),(美)威廉·C·惠顿(William C.Wheaton)著;龙奋杰等译2002 年出版396 页ISBN:7505829629