Merge pull request #60 from VictorZhangAI/main

Added automata class

docs/major/automata.md

@@ -0,0 +1,60 @@
+# 形式语言与自动机
+<div class="badges">
+<span class="badge se-badge">SE <专业必修></span>
+</div>
+
+## 课程学习内容
+
+*计算理论导引*一书的前三章节，包括自动机与语言，上下文无关文法和邱奇图灵论题，曾几何时是考查课，是编译原理课程的前驱，考试课，必修课，占2学分
+
+### 先修要求
+
+集合论与图论
+
+## 任课教师
+
+=== "隋典伯"
+
+    一位先进的老师，上课演示UNIX shell并建议我们尝试诸如LaTeX之类的先进工具，ppt为照书手搓，中英兼有讲授，不查考勤，期末开根乘十，总之，知足吧，我的朋友。
+
+!!! quote
+    我在南开数学系上本科，四年下来上了一百多个课，诸如实变函数之类的课从当时不知所云到了现在。——隋典伯
+
+
+## 课程教材
+
+*计算理论导论*
+
+“最适合从零开始的一本书，豆瓣评分8.8，你也可以自学，反正我ppt全是直接抄书。”——隋典伯
+
+## 参考教材
+
+*自动机理论、语言和计算导论*
+
+“这本书写得挺烂的，中译本是，原版也是。主要是这本书知识密度太低了。”——隋典伯
+
+*形式语言与自动机理论*
+
+“这本书更烂！我甚至读着读着没有阅读欲望了。”
+
+“国内教材一向喜欢把读者抬高到和作者一样的水平，这是不好的。应该学学外国人，把读者当成傻子，先好好解释题目，解释基础知识。”——隋典伯
+
+## 分数构成
+
+=== "隋典伯"
+
+    平时作业20%，LaTeX写作，最后统一上交。
+    期末考试80%，最后划定范围，据说B卷比A卷难得多
+
+!!! quote
+    大学最重要的事情显然不是上课，只不过教师最重要的职务是上课罢了。——隋典伯
+
+## 懒人包
+
+<a>http://debracollege.dspaces.org/bitstream/123456789/671/1/Introduction%20to%20the%20Theory%20of%20Computation_2013%20Sipser.pdf</a>正版在线课本
+
+<a>https://www.overleaf.com/project</a>LaTeX在线编辑环境，记得使用ACM/IEEE Template
+
+<a>https://texdoc.org/serve/lshort-zh-cn.pdf/0</a>LaTeX参考资料，注：不要把字典当成书本啃食
+
+实际上这玩意儿根本没必要pia上来，但是笔者看见有个大兄弟用百度死活搜索不着血压高了。

mkdocs.yml

@@ -98,6 +98,7 @@ nav:
       - 专业解读: major/manual.md
       - 软件与社会: major/society.md
       - 软工大连实训: major/Practical training.md
+      - 形式语言与自动机: major/automata.md
   - 创新创业课:
       - 介绍: innovation/index.md
       - 面向问题的高级程序设计: innovation/1.md