Formal Languages and Automata
(形式语言与自动机)
| To: | B.Sc. students to all the Departments & Graduate students in CS |
| Classroom: | YI B-212, Xianlin Campus |
| Class Time: | 2:00-4:50 Tuesday, Autumn Semester, 2022 |
| Textbook: | John E. Hopcroft, Rajeev Motwani, Jeffery D.Ullman. Introduction to Automata Theory, Languages, and Computation. 中英文版本皆可 |
| Grading: | Final exam (50%) + Project (20%) + Assignments (30%) |
| Final Exam Time and Location: |
TBD |
| Contact: | Xuandong Li: CSD Building 720. lxd#nju.edu.cn. Lei Bu: CSD Building 308. bulei#nju.edu.cn. Feel free to contact us if you have any question. It will be wonderful if you are interested in the related areas and want to join SEG for Graduate Study! |
| May The Force Be With You! |
Models:
Modeling:
Special Tutorials:
Decidability, Complexity (P, NP, NPC and related)
(Special thanks to Prof. Jeffery Ullman and Prof. Xuandong Li for their permissions of using and adjusting their slides)
First assignment: Due date Oct. 18th.
Second assignment: Due date Nov. 15th.
Third assignment: Due date Dec. 17th.
Project Description& Submission Site (Updated on Dec. 3rd): Due date Jan. 3rd.