用的是MIT michael sipser 的书。

最得意的是两点：
一发现书里一个大错误。概念定义错了。
UBC来的一个女博士是授课老师，
估计对MIT或者Sipser是敬仰无比，屡次拒不承认我的观点，
大考完的时候，我告诉她一个我来考试路上发现的非常简单的反例，
当场把她惊到目瞪口呆，因为太简单了，以致无法反驳，她终于答应回去思考。

另一是发现了图灵机可以识别的语言的串的长度一个限制。
它一定识别一个不超过某个长度的串，这个长度是状态数的简单线性函数（类似3s+2之类，我记不清了）。 当然这位老师也是回去思考以后才承认的。