这是一本湖南大学计算机方向考博的必备书籍，书名为《计算理论导引》，里面很多算法的证明都讲解得很生动，值得一读。-This is a Hunan University computer the direction Kaobo of essential books, entitled " Computational Theory" , there are many algorithms prove to explain very vivid, well worth reading.