翻译的还行，但书本身缺少实例，缺少图片，显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道，不像一般的国外书籍。 不过其在形式语言，自动机，图灵机，可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个推荐下这方面更好的书籍？