计算理论

  这学期的《形式语言与自动机》马上就要结束了。这门课是我们专业在本科阶段唯一的一门计算理论课，内容主要包括了Chomsky文法分类，有限状态自动机，上下无关语言，而下退自动机，图灵机等都只是做了简单介绍而已。计算理论本来就是计算机科学最基础的部分，也是与数学最接近的部分。其实到现在大多的IT从业人员都是在做应用，而这不是我本人的兴趣所在。前些日子看《The Google Story》，讲述了两位谷歌创始人怎样从斯坦福的博士生变为全球第一品牌的总裁，最让我关注的就是他们的搜索技术，最初不过是斯坦福内部网络搜索科技论文的工具，而在强有力的数学与理论基础上，才跃迁出了影响世界的技术，从此足以见得技术背后的力量才是无尽的源泉！

  以下是从wiki上摘录的 计算理论 的概要：计算理论是解决什么能计算，什么不能计算，有多快，需要多少空间以及采用什么计算模型的理论。

  计算理论有别于普通的算术，而是研究用什么样的模型和算法解决什么样的问题。而这些理论才触及到计算机科学的最根本，所有的硬件架构，软件算法都是基于计算理论的推广。

  今天借了《Introduction to the theory of computation》大致翻了一下目录，首先还是自动机理论，然后就是深入到可计算性和复杂度问题，打算开始阅读，继《算法导论》后，又一本MIT教材。