非常奇妙的一本书

    如果是计算机专业的，我觉得越早看越好。
    这本书描述的是非常奇妙的事情，把一个简单的有穷机，下推自动机，图灵机和正则表达式，上下无关文法，无限制文法统一在一起，将一些以前看是若隐若现，似是而非的东西，用理论的科学的方法研究，居然还可以推导。在不停地推导，构造中，又能解决实际中的一些看似无法表达的东西。在这个锻炼的过程中，慢慢知道了计算机的能力，能做什么，不能做什么，怎样做是比较可行的。这是发现和认识世界的一个过程，也是在现实中的一个妥协。图灵机真伟大。
    不过看本书会比较累，都是离散的东西，不停定义构造证明应用，特别是证明的过程，有时候觉得和以前学的证明相差太大，差不多都是构造的方法，好像都不是证明。
    唯一遗憾，就是这本书的习题答案好像没有，网上没有找到。
    书中的NP问题可以结合图论的相关章节和《算法导论》的最后2章一起看，NP在神经网络，人工智能里面都反复提到，也可以结合一起看。