Formal Languages and Automata
(形式语言与自动机)
| To: | B.Sc. students to all the Departments & Graduate students in CS | |
| Classroom and Class Time1: | XIAN I-107, Xianlin Campus. 14:00-16:50 Tuesday, Autumn Semester, 2025 QQ group number: 580737464 | |
| Classroom and Class Time2: | FEI A-310, Gulou Campus. 14:00-16:50 Thursday, Autumn Semester, 2025 QQ group number: 792340423 | |
| Please note that the courses at the Gulou campus and the Xianlin campus are independent of each other. You only need to attend one of them, so be sure not to mix up the times and classrooms. | ||
| Textbook: | John E. Hopcroft, Rajeev Motwani, Jeffery D.Ullman. Introduction to Automata Theory, Languages, and Computation. 中英文版本皆可 |
|
| Grading: | Final exam (40%) + Project (30%) + Assignments (30%) | |
| Final Exam Time and Location: | TBD |
|
| Contact: | Xuandong Li: CSD Building 720. Xuandong Li | |
| Lei Bu: CSD Building 308. Lei Bu | ||
| 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:
Decidability, Complexity (P, NP, NPC and related)
Modeling:
(Special thanks to Prof. Jeffery Ullman and Prof. Xuandong Li for their permissions of using and adjusting their slides)
First Assignment Due date Oct. 1, 23:59:59
Second Assignment Due date Oct. 12, 23:59:59
Third Assignment Due date Nov. 4, 23:59:59
Fourth Assignment Due date Nov. 23, 23:59:59
Fifth and Sixth Assignment Due date Dec. 19, 23:59:59
First Project: Due date Nov. 11, 23:59:59
Second Project: Due date Dec. 8, 23:59:59
Third Project: Due date 2026.1.16, 23:59:59
Lecture notes by Jiacai Cui.