十八、老师

的因素。

    单老师基本不按书本讲，在黑板上一板一板地不停地写，不太关心下面的反应，单老师应该自有乐趣，他沉浸并享受着这门有着奇怪符号和术语的课程，山丰艰难地认真听着，有些目瞪口呆，除了「定义、引理、推论、例子」这些字外，基本都看不懂，最让山丰惊讶的是，最後一节课了，他仍然证明的是引理，学了一个学期，一个定理也没有看到。这门课给了山丰类似《中国美学史》课程的感受，虽然不懂，但还是感觉到了某种很有价值的知识的涌动，让山丰燃起对它持续的热情，後来，山丰自己尝试过多次有关数理逻辑的书籍。

    在後有丁文魁老师讲授的《编译原理》，这是山丰最喜Ai的课，也是山丰觉得软T专业唯一的真正有点理论T系的课程，其中的形式语言和自动机原理部分对山丰影响很大，山丰後来研究生选择自然语言处理方向与这关系很大，山丰希望能够将这些严谨的表示也用於自然语言，或者发展出适合自然语言的形式T系。丁老师上课总是微笑，课间休息Ai和同学们聊天，回答同学们的问题。《编译原理》有一个大作业，就是要实现一个类b编译器，将普通PASCAL程序转换成一种受限的PASCAL程式b如只有一个变数，山丰和另一个同学组队，两人分工，《编译原理》的大作业基本由山丰完成，另一个大作业——C作系统模拟器——由他完成，这份作业山丰完成得b较好，十道测试题只有最後一道关於递归的问题没有通过差一点点，是山丰在北大学习中最有成就感的一次。之後的学习