证明了乔姆斯基谱系中1型文法（上下文相关文法）两种定义形式的等价性。

Set the difference

算法导论（中文版）第15章，动态规划，装配线调度，矩阵链乘法等

数论导论，介绍数论的基础知识。英文原版，内容挺不错的，比较详细。