Formal Languages and Automata
(形式语言与自动机)
| To: | B.Sc. students to all the Departments & Graduate students in CS | |
| Classroom and Class Time1: | XIAN I-206, Xianlin Campus. 2:00-4:50 Tuesday, Autumn Semester, 2026 QQ group number: 1080450269 | |
| Classroom and Class Time2: | FEI A-310, Gulou Campus. 2:00-4:50 Thursday, Autumn Semester, 2026 QQ group number: 1108523458 | |
| 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 (50%) + Project (20%) + 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:
Modeling:
Transition System: TBD
Petri Net: TBD
Timed Automata: TBD
Special Tutorials:
Decidability, Complexity (P, NP, NPC and related): TBD
(Special thanks to Prof. Jeffery Ullman and Prof. Xuandong Li for their permissions of using and adjusting their slides)
First assignment Due date Sep. 22, 23:59:59
Second assignment Due date Sep. 30, 23:59:59
Third assignment Due date Oct. 20, 23:59:59
Fourth assignment Due date Oct. 28, 23:59:59
Fifth assignment: TBD
Sixth assignment: TBD
Assignment Answer Videos: TBD
Project Description: TBD
Lecture notes by Jiacai Cui.