形式语言与自动机¶

SE <专业必修>

课程学习内容¶

计算理论导引一书的前三章节，包括自动机与语言，上下文无关文法和邱奇图灵论题，曾几何时是考查课，是编译原理课程的前驱，考试课，必修课，占2学分

集合论与图论

隋典伯

一位先进的老师，上课演示UNIX shell并建议我们尝试诸如LaTeX之类的先进工具，ppt为照书手搓，中英兼有讲授，不查考勤，期末开根乘十，总之，知足吧，我的朋友。

Quote

我在南开数学系上本科，四年下来上了一百多个课，诸如实变函数之类的课从当时不知所云到了现在。——隋典伯

计算理论导论

“最适合从零开始的一本书，豆瓣评分8.8，你也可以自学，反正我ppt全是直接抄书。”——隋典伯

自动机理论、语言和计算导论

“这本书写得挺烂的，中译本是，原版也是。主要是这本书知识密度太低了。”——隋典伯

形式语言与自动机理论

“这本书更烂！我甚至读着读着没有阅读欲望了。”

“国内教材一向喜欢把读者抬高到和作者一样的水平，这是不好的。应该学学外国人，把读者当成傻子，先好好解释题目，解释基础知识。”——隋典伯

隋典伯

平时作业20%，LaTeX写作，最后统一上交。期末考试80%，最后划定范围，据说B卷比A卷难得多

Quote

大学最重要的事情显然不是上课，只不过教师最重要的职务是上课罢了。——隋典伯

https://www.overleaf.com/projectLaTeX在线编辑环境，记得使用ACM/IEEE Template

https://texdoc.org/serve/lshort-zh-cn.pdf/0LaTeX参考资料，注：不要把字典当成书本啃食

实际上这玩意儿根本没必要pia上来，但是笔者看见有个大兄弟用百度死活搜索不着血压高了。