outiontheoryaddasp>
用的书是《Introduction to the Theory of Computation 3rd Edition》by Micheal Sipser。
对于 introduction 这一章（1~29），读一下，主要是熟悉翻译软件。
对于 自动机和语言 这一章（29~163），暂定三周以内读完。
对于 可计算性理论 这一章（163~273），三周
对于 复杂度理论 这一章（273~443），三周
另外，自动机和形式语言的内容并不仅限与以它们为题的章节，对于它们的讨论很大部分会延伸到可计算性理论这一章，复杂度理论这一章则会更多偏向新的理论。
书里的第二、三章会涉及一些高级专题，如信息论和密码学，是一个不错的将理论应用于实践的机会。